classe buida LÒG.
La classe que no posseeix cap element. Concepte semblant el de conjunt buit. Segons el principi d’extensionalitat -que afirma que dues classes són iguals si i només si tenen els mateixos elements- hi ha una sola classe buida, ja que tota classe buida té igual nombre d’elements, és a dir cap. El seu símbol és una «lambda»: 7. Es defineix com
Aquesta obra està sota una llicència de Creative Commons.