Complémentaire d'une partie
Définition :
|  |
La propriété
est la négation de la propriété
: la propriété
est vraie si et seulement si la propriété
est fausse.
Fondamental :
Propriétés :
pour toute partie
de
.
et
pour toute partie
de
.
.
Lois de Morgan :
. 
.
Définition :
Une partition d'un ensemble
est une famille
de parties non vides de
qui sont deux à deux disjointes et dont la réunion est
:
, donc :
.
.
