NextKSubset[l,s]

gives the -subset of list l, following the -subset s in lexicographic order.