Subclass (set theory)
Appearance
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
- ISBN 978-0486497082.