for T being non empty RelStr
for a being set st [#] T = {a} holds
T is connected