for S being non empty Graph-membered vertex-disjoint set holds { (H .componentSet()) where H is Element of S : verum } is mutually-disjoint