The **empty set** is the unique [[Set]] $\varnothing$ with [[Cardinality]] 0