This is in SML.

Problem 5 (10 points) The Cartesian product (or cross product) of two sets, S1 and S2, is often denoted by the symbol x a nd is defined follows: S1 x S2 = {(z,y) \ x E S1 ?? ? S2). Using tuple and list notation. Ca returns their Cartesian product