
[;1m  is_empty_set(AnySet)[0m

  Returns [;;4mtrue[0m if [;;4mAnySet[0m is an empty unordered set, otherwise [;;4m[0m
  [;;4mfalse[0m.
