Término complement d'un altre és aquell que comprèn tot el que aquest últim no és: el complement del color blanc és no-blanc i, per tant, el verd, el blau, el negre, etc. Complement de mortal és immortal, perquè, en aquest cas, no hi ha cap altra possibilitat intermèdia: el que existeix o és mortal o és immortal. En general, si P és una classe, la classe complement és