Clase vacía

De Enciclopedia Symploké, la enciclopedia libre.
Saltar a: navegación, buscar

Es la negación o el complementario de la clase universal o universo del discurso. Intuitivamente podemos entenderla como la clase que carece de elementos, pero en rigor se define como aquel conjunto ?? cuyos elementos son distintos de sí mismos (aquellos x tales que x ≠ x). La clase vacía posee la propiedad de estar incluida en todo conjunto.