Empty Set

In set theory, the empty set is a set containing no elements.

$\frac{}{\varnothing :\mathrm{Set}}\frac{x\in \varnothing P:\mathrm{Prop}}{c:P}$