Definition:Projection (Cartesian Product)