直積集合
Cartesian product of functions.