for X being set holds union (On X) is epsilon-transitive epsilon-connected set