supsetneqq
Denotes a strict superset relationship where one set properly contains another set, with an additional emphasis on the inequality being strict.
Overview
Serves as a specialized mathematical relation symbol primarily used in set theory and advanced mathematics to indicate proper superset relationships with extra emphasis.
- Common in formal mathematical proofs where precise set relationships need to be distinguished
- Particularly useful when multiple levels of set inclusion need to be clearly differentiated
- Often appears alongside other set theory notation in academic papers and advanced textbooks
- Provides a more specific alternative to the standard superset symbol when emphasizing strict inequality
Examples
Comparing two sets where one is a proper superset of another with distinct elements.
A \supsetneqq B \implies |A| > |B|Demonstrating strict set containment in number theory.
\mathbb{R} \supsetneqq \mathbb{Q} \supsetneqq \mathbb{Z}Showing proper superset relationships between power sets.
P(A) \supsetneqq P(B) \iff A \supsetneqq B