Jointly exhaustive and pairwise disjoint topological relations