let
subset c1 c2 =
for_all (
function
x
->
(mem x c2)) c1