Classe buida
De Wikisofia
La classe que no posseeix cap element. Concepte semblant al de conjunt buit. Segons el principi de extensionalitat -que afirma que dues classes són iguals si i només si tenen els mateixos elements- existeix 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»: Λ. Es defineix com: "la classe de tot allò que no és igual a si mateix".