Première loi de Morgan :

Pour tous les sous-ensembles A et B d'un ensemble E.