PanLinx: disjunktní množina