A:{1,2,3,4};

B:{3,4,5};

C:{5,6,7};

Kommutativgesetze

is(union(A,B)=union(B,A));

is(intersection(A,B)=intersection(B,A));

Assoziativgesetze

is(union(union(A,B),C)=union(A,union(B,C)));

is(intersection(intersection(A,B),C)=intersection(A,intersection(B,C)));

Distributivgesetze

is(union(A,intersection(B,C))=intersection(union(A,B),union(A,C)));

is(intersection(A,union(B,C))=union(intersection(A,B),intersection(A,C)));