Siano X e Y due insiemi, "definiamo"
X∪Y={x | x∈X o x∈Y} ↪ basta che sia vera almeno una delle due
X∩Y={x | x∈X e x∈Y} ↪ vere entrambe
X ∖ Y={x | x∈X, x∉Y}
Se Y⊂X, X ∖ Y si dice COMPLEMENTARE di Y in X e si scrive X ∖ Y=Cx(y)
X x Y={(x,y) | x∈X,y∈Y}
X={a,b} Y={1,2,3} X x Y ={(a,1),(a,2),(a,3),(b,1),(b,2),(b,3)}