Lorsqu'on veut utiliser la propriété :

Pour toutes parties et de on a :

On fabrique des ensembles et adaptés pour ce qu'on veut montrer.