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