Hello.

When we say A*B={(x,y) : x is an element of A, y is an element of B}, we know that:

if (x,y) is an element of A*B => x is an element of A, y is an element of B

Is it also true?

If x is an element of A, y is an element of B => (x,y) is an element of A*B

Thanks.