conjunt buit LÓG.
Com que un conjunt o classe es defineix per la seva
extensió, és el conjunt o la classe que manca d'elements. Qualsevol conjunt buit resulta igual a qualsevol altre conjunt buit, per la qual cosa només hi ha un únic conjunt buit.
Si dos conjunts qualsevol, A
i B, són buits, llavors també són iguals ja que es compleix que
Aquest conjunt s'escriu
L («lambda») o bé
ø
(El conjunt dels x que
no són idèntics a si mateixos).
El conjunt buit és element de, o està inclòs en, qualsevol altre conjunt:
Aquesta obra està sota una llicència de Creative Commons.
