
  -spec is_subset(Set1, Set2) -> Bool
                     when
                         Bool :: boolean(),
                         Set1 :: a_set(),
                         Set2 :: a_set().

  Returns true if Set1 is a subset of Set2, otherwise false.
