Conventions differ on whether \subset allows equality, so many authors write \subseteq when equality is possible and \subsetneq when it is excluded, leaving nothing ambiguous.
All ways to write it
| Command | Use | Package | Copy |
|---|---|---|---|
\subseteq | subset or equal, ⊆ | none | |
\subset | subset, ⊂ (proper in some conventions) | none | |
\subsetneq | proper subset, ⊊ | amssymb | |
\supseteq | superset or equal, ⊇ | none | |
\supset | superset, ⊃ | none | |
\nsubseteq | not a subset, ⊈ | amssymb |
Commands marked with a package need that \usepackage line in a LaTeX document.
Example
\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}The chain of number sets.
Questions
Should I use \subset or \subseteq?
If the sets may be equal, \subseteq is unambiguous. Reserve \subset or \subsetneq for a strict subset and say which convention you use.
Related symbols
- Union ∪
\cup - Intersection ∩
\cap - Element of ∈
\in - Real numbers ℝ
\mathbb{R}
Using subset in Confluence
Confluence Cloud has no built-in LaTeX. With LaTeX Math for Confluence you add a math macro to any page, type \subseteq and it renders inline or as a block, with a live preview while you edit. Every command on this page renders there without extra packages.