:: deftheorem Def1 defines Chain ORDERS_4:def 1 :
for b₁ being RelStr holds
( b₁ is Chain iff ( b₁ is non empty connected Poset or b₁ is empty ) );