subset classifier

(mathematics) A set which serves as the codomain of a characteristic function. / (category theory, uncountable) The subobject classifier restricted to the category Set.