
[;1m  product(Set1, Set2)[0m

  Returns the Cartesian product of [;;4mSet1[0m and [;;4mSet2[0m.

    1> S1 = sofs:set([1,2]),
    S2 = sofs:set([a,b]),
    R = sofs:product(S1, S2),
    sofs:to_external(R).
    [{1,a},{1,b},{2,a},{2,b}]

  [;;4mproduct(S1, S2)[0m is equivalent to [;;4mproduct({S1, S2})[0m.
