cartesian package:refined-containers

Cartesian product of two sets. The elements are all pairs (x, y) for each x from s and for each y from t.