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

(commutative algebra) A subset of a ring which contains the ring’s unity and which is multiplicatively closed, i.e., it is closed with respect to the ring’s multiplicative operation.

plural of subset classifier

plural of proper subset

(mathematics) The condition of being a subset