Category:Subclasses
Jump to navigation
Jump to search
This category contains results about Subclasses.
Definitions specific to this category can be found in Definitions/Subclasses.
Let $A$ and $B$ be classes.
Then $A$ is a subclass of $B$, and we write $A \subseteq B$, if and only if:
- $\forall x: \paren {x \in A \implies x \in B}$
where $x \in A$ denotes that $x$ is an element of $A$.
Pages in category "Subclasses"
The following 7 pages are in this category, out of 7 total.