2つの区間 "a" と "b" がオーバーラップするのは、"a".low ≤ "b".highと "a".high ≥ "b".lowが同時に成り立つ場合だけである。