for X being non empty set
for R being connected total Relation of X
for x, y being Element of X holds
( not x <> y or x,y in R or y,x in R )