
[;1m  is_disjoint(Set1, Set2)[0m

  Returns [;;4mtrue[0m if [;;4mSet1[0m and [;;4mSet2[0m are disjoint, otherwise [;;4mfalse[0m.
