B × ( A ∪ C ) =[b] {(2;1);(2;2);(2;3);(3;1);(3;2);(3;3)[/b]
A \ C = {1, 2}\{1, 3}={2}
B × ( A \ C )={(2;2);(3;2)}
B × C ={(2;1);(2;3);(3;1);(3;3)}
( B × ( A \ C ) ) ∪ ( B × C )={(2;2);(3;2)} U{(2;1);(2;3);(3;1);(3;3)}=[blue][b]{(2;1);(2;2);(2;3);(3;1);(3;2);(3;3)[/b][/blue]
[b] {(2;1);(2;2);(2;3);(3;1);(3;2);(3;3)[/b]=[blue][b]{(2;1);(2;2);(2;3);(3;1);(3;2);(3;3)[/b][/blue]
B × ( A ∪ C ) =( B × ( A \ C ) ) ∪ ( B × C )