disjoint function

arc disjointness