Soit un ensemble et une partie de . On dit que est une algèbre de parties si les conditions suivantes sont vérifiées:
n’est pas vide.
Si , alors aussi.
est stable par union finie, autrement dit : pour tout et toute famille d’éléments de , on a .
1
Montrer que est une algèbre de parties de .
2
Montrer qu’une algèbre de parties de est stable par intersection finie.
3
Combien d’algèbres de parties y a-t-il si a (exactement) un, deux, ou trois éléments ?