TeXipedia

sube

Denotes a subset or equal relationship between two sets in mathematical notation.

Overview

Essential for expressing set theory relationships, particularly when one set is contained within or equal to another set. Common in:

  • Mathematical proofs and formal logic
  • Set theory demonstrations
  • Abstract algebra
  • Computer science for describing relationships between data structures

Often used alongside other set notation symbols to express complex set relationships and is particularly valuable when showing hierarchical relationships between sets that might be equal.

Examples

Showing that set A is a subset or equal to set B.

A⊆BA \sube B 
A \sube B

Expressing that the natural numbers are a subset of the integers.

N⊆Z\mathbb{N} \sube \mathbb{Z} 
\mathbb{N} \sube \mathbb{Z}

Demonstrating subset relationships in probability theory.

P(A∩B)⊆P(A)P(A \cap B) \sube P(A) 
P(A \cap B) \sube P(A)