Cartesian product over IFS