4.2.3 Intersection

L'intersection de deux ensembles X et Y est l'ensemble des éléments qui appartiennent aux deux: X $\cap$ Y = {x tel que x $\in$ X et x $\in$ Y}. L'intersection est commutative, associative et idempotente, ce dernier terme traduit X $\cap$ X = X.