encoding of tuples and n-ary cartesian products in set theory

in case they are useful later...