# Definition:Subclass

Jump to navigation
Jump to search

From ProofWiki

Jump to navigation
Jump to search
Let $A$ and $B$ be classes.

Then $A$ is a **subclass** of $B$, and we write $A \subseteq B$, iff:

- $\forall x: \left({x \in A \implies x \in B}\right)$

You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this point in more detail, feel free to use the talk page.

*If you are able to explain it, then when you have done so you can remove this instance of {{Explain}} from the code.*

- This page was last modified on 26 December 2017, at 06:56 and is 0 bytes
- Content is available under Creative Commons Attribution-ShareAlike License unless otherwise noted.