Réunion de parties
Définition :
| ![]() |
La propriété
est vraie si et seulement si la propriété
ou la propriété
est vraie (elles peuvent être vraies toutes les deux).
Fondamental :
La réunion est une loi commutative :
.
La réunion est une loi associative :
.
Autres propriétés :
et
pour toute partie
de
.
et
.
.
.
Fondamental :
Double distributivité :
.
.
Définition :
Si
est une famille de parties de
:
.