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