for a being Element of DISJOINT_PAIRS {} holds a = [{},{}]