TeXipedia

nsupseteq

Denotes the negation of the superset-or-equal-to relation in set theory and mathematical logic.

Overview

Serves as a fundamental notation in set theory and abstract mathematics to indicate when one set is not a superset of or equal to another set.

  • Common in proofs and mathematical arguments where set relationships need to be disproven
  • Used in advanced mathematics courses and academic papers
  • Often appears alongside other set theory operators in formal mathematical writing
  • Particularly useful in topology, abstract algebra, and analysis when discussing set containment

Examples

Expressing that set A is not a superset of or equal to set B.

A⊉B  ⟹  ∃x∈B:x∉AA \nsupseteq B \implies \exists x \in B : x \notin A 
A \nsupseteq B \implies \exists x \in B : x \notin A

Showing a counterexample in real number sets.

R⊉C\mathbb{R} \nsupseteq \mathbb{C} 
\mathbb{R} \nsupseteq \mathbb{C}

Demonstrating proper subset relationships in set theory.

{1,2}⊉{1,2,3}\{1,2\} \nsupseteq \{1,2,3\} 
\{1,2\} \nsupseteq \{1,2,3\}