Definition:Finite Cartesian Product