.init value of cartesianProduct should be empty.