Added the definitions of cartesian products and set-theoretic functions