Domain Set Cross Product and values

Firstly, take notice that we cannot add brackets of cross product, which are totally different.

And, take notice of the on. If on N, means aRb, it’s a pair (a,b). If on $\mathbb{N} \times \mathbb{N}$, its (a,b)R(c,d), namely ((a,b),(c,d)).


Welcome to point out the mistakes and faults!