Subclass (set theory)

Source: Wikipedia, the free encyclopedia.

In set theory and its applications throughout mathematics, a subclass is a class contained in some other class in the same way that a subset is a set contained in some other set. One may also call this "inclusion of classes".

That is, given classes A and B, A is a subclass of B

axiom of specification
essentially says that A must then also be a set.

As with subsets, the

ideal
in the collection of all classes. (Of course, the collection of all classes is something larger than even a class!)

References