Tuples and cartesian products