supseteqq
Denotes a superset relationship with a double line and equals sign, indicating one set contains another set while potentially being equal.
Overview
Serves as a specialized mathematical relation symbol primarily used in set theory and advanced mathematics to express refined set relationships.
- Common in formal mathematical proofs and set theory demonstrations
- Useful when emphasizing both superset relationships and potential equality
- Often appears alongside other set comparison operators in mathematical literature
- Particularly valuable in abstract algebra and topology where precise set relationships need to be specified
Examples
Expressing that set A contains or equals set B with respect to some property.
A \supseteqq B \implies \forall x \in B: P(x) \leq Q(x)Showing a superset relationship between number sets.
\mathbb{R} \supseteqq \mathbb{Q} \supseteqq \mathbb{Z}Defining a constraint in optimization theory.
X_t \supseteqq Y_t \text{ for all } t \in T