sqsubseteq
Denotes a square subset relation where one set is contained within another, commonly used in mathematical set theory and order theory.
Overview
Represents a fundamental ordering relation in mathematics, particularly useful in formal logic, computer science, and abstract algebra.
- Essential in lattice theory for describing partial orders
- Used to express subset relationships with additional semantic meaning
- Common in formal specifications and mathematical proofs
- Appears frequently in theoretical computer science when describing type systems or program semantics
- Often paired with its strict counterpart \sqsubset in formal mathematical writing
Examples
Defining a partial order relation in set theory.
A \sqsubseteq B \implies |A| \leq |B|
Expressing subset relationships in domain theory.
\bot \sqsubseteq x \sqsubseteq \top
Comparing information content in lattice theory.
x \sqsubseteq y \sqsubseteq z \implies x \sqsubseteq z