disjointure

not defined yet