theorem Th4: :: ORDERS_3:4

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