ДЕКАРТОВО ПРОИЗВЕДЕНИЕ МНОЖЕСТВ
Для произвольных множеств Х, У, W, Z, доказать или опровергнуть справедливость тождества Х × (Y ∩ Z) = (Х × Y) ∩ (Х × Z).

ПУСТЬ <x,y>есть X *(Y∩Z)

x є X и y є (Y∩Z)<=>(x є X и y є Y) и (x є X и y є Z)<=> <x,y> є (X×Y) и  <x,y> є (X×Z)<=> <x,y> є (Х × Y) ∩ (Х × Z).