Definition:Cartesian Power