Its elements are the sequences (x,y), where x is an element of X, and y is an element of Y.
i1 : set {1,2} ** set {a,b,c} o1 = Set {(1, a), (2, a), (1, b), (2, b), (1, c), (2, c)} o1 : Set
See also ** and Set.
