let
eqset a b = (subset a b)
&&
(subset b a)