Die Idempotenzeigenschaft kann auch durch Rekurs auf die Verbandseigenschaften Boolescher Algebren gezeigt werden. Siehe Anhang.