Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
La clase que no posee ningún elemento. Concepto semejante al de conjunto vacío. Según el principio de extensionalidad-que afirma que dos clases son iguales si y sólo si tienen los mismos elementos- existe una sola clase vacía, puesto que toda clase vacía tiene igual número de elementos, esto es, ninguno. Su símbolo es una «lambda»: Λ. Se define como: "la clase de todo aquello que no es igual a sí mismo".