[add] Added cartesian product Set<K>*Set<K>