supset
Denotes a superset relationship where one set contains all elements of another set plus additional elements.
Overview
Essential in set theory and mathematical logic for expressing relationships between sets where one completely contains another.
- Commonly used in proofs and formal mathematical writing to show set inclusion.
- Appears frequently in abstract algebra, topology, and discrete mathematics.
- Often paired with other set notation symbols to express complex set relationships.
- The strict superset variant (not equal to) is available through a separate symbol.
Examples
Showing that set A is a proper superset of set B.
A \supset B
Expressing that the real numbers contain the integers as a proper subset.
\mathbb{R} \supset \mathbb{Z}
Demonstrating nested set relationships with multiple superset symbols.
A \supset B \supset C