Definition:Proper Subset/Proper Superset

From ProofWiki
Jump to: navigation, search

Definition

If $S$ is a proper subset of $T$, then $T$ is a proper superset of $S$.

This can be expressed by the notation $T \supsetneqq S$.


This can be interpreted as $T$ properly contains $S$.


Sources