Jedoch gilt im Allgemeinen nicht formula_25, so dass formula_26 nur ein Pseudokomplement und kein echtes Komplement ist. ###>However, it is not in general true that formula_3, thus ¬ is only a pseudo-complement, not a true complement, as would be the case in a Boolean algebra.