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

  Returns true if Set1 and Set2 are disjoint, otherwise 
  false.
