disjointness

not defined yet