Cardinality of Cartesian Product/Examples