:: deftheorem Def29 defines connected WAYBEL_0:def 29 :
for L being non empty RelStr holds
( L is connected iff for x, y being Element of L holds
( x <= y or y <= x ) );