subset classifier

Noun

 * 1)  A set which serves as the codomain of a characteristic function.
 * 2)  The subobject classifier restricted to the category Set.