Abstract (c,y) (a,b)=(c,d)↔(a=c)∧(b=d) The order of elements matters! Order n-tuples n denotes the number of Set we are multiplying Ordered Pair is order 2-tuples, because are multiplying 2 sets