From ProofWiki
Jump to: navigation, search

This category contains results about Subsets.
Definitions specific to this category can be found in Definitions/Subsets.

A set $S$ is a subset of a set $T$ if and only if all of the elements of $S$ are also elements of $T$, and it is written $S \subseteq T$.

If the elements of $S$ are not all also elements of $T$, then $S$ is not a subset of $T$:

$S \nsubseteq T$ means $\neg \paren {S \subseteq T}$

Pages in category "Subsets"

The following 105 pages are in this category, out of 105 total.