conjunts intersecció y unió

Teorema:

Si A = B ==> A [M] C = B [M] C

Demostració:

Sigui x€ A [M] C ==>

x€A & x€C

x€B & x€C

x€ B [M] C

Teorema:

Si A = B ==> A [W] C = B [W] C

Demostració:

Sigui x€ A [W] C ==>

x€A or x€C

x€B or x€C

x€ B [W] C