TeXipedia

supe

Denotes a superset or equal relationship between mathematical sets, indicating one set contains or equals another.

Overview

Represents the superset-or-equal relation in set theory and mathematical logic, combining both strict superset and equality into a single comparison operator.

  • Essential for expressing set relationships in abstract algebra and topology
  • Commonly used in proofs and formal mathematical writing
  • Often appears alongside other set theory operators in mathematical statements
  • Particularly useful when describing nested sets or proving set containment properties

Examples

Showing that the real numbers are a superset or equal to the integers.

ZR\mathbb{Z} \supe \mathbb{R}
\mathbb{Z} \supe \mathbb{R}

Expressing that set A is a superset or equal to the intersection of sets B and C.

A(BC)A \supe (B \cap C)
A \supe (B \cap C)

Demonstrating nested set relationships with multiple superset-or-equal symbols.

XYZX \supe Y \supe Z
X \supe Y \supe Z