¿Qué es?
No se ha añadido ninguna twiki todavía.
Término complemento de otro es aquel que abarca todo lo que este último no es: el complemento del color blanco es no-blanco y, por tanto, el verde, el azul, el negro, etc. Complemento de mortal es inmortal, porque, en este caso, no existe ninguna otra posibilidad intermedia: lo que existe o es mortal o es inmortal. En general, si P es una clase, la clase complemento es [math] ¬P[/math] o [math]\overline{P}[/math].