Idempotentność
Z Wikipedii
Idempotentność (ang. idempotency) — właściwość operacji pozwalająca na wielokrotne jej powtarzanie bez zmiany wyniku lub powodowania błędu. Taką cechę ma np. operacja czytania. W algebrze zbiorów taką właściwością odznacza się operacja dodawania zbiorów, co przedstawia się następująco:
Powyższe twierdzenie algebry zbiorów pochodzi od George'a Boole'a.