Pour toutes parties et d'un ensemble , on note .
En utilisant seulement cette nouvelle opération, exprimer , , et .