for a being set holds {a} is mutually-disjoint