subset classifier
noun1
Mathematics, Sciences A set which serves as the codomain of a characteristic function.
2
Category theory, Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Sciences The subobject classifier restricted to the category Set.