Input:
s: A set of n elements, for example {1,2,3}
t: The power set of s, for example {{},{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}

Output:
all sets: {u}, each u is an m-combination of t,...