空集合

definition let X be set;
 attr X is empty means
:Def5:    X = {};

この定義は,「$X$が空(集合)である」という$X$の属性を

$$X = \{\}$$

が成り立つこととして定義します。