let subset a b = List.for_all (fun x->(List.mem x b)) a