:: deftheorem Def3 defines LinOrders ARROW:def 3 :
for A being non empty set
for b₂ being Subset of (LinPreorders A) holds
( b₂ = LinOrders A iff for R being set holds
( R in b₂ iff R is connected Order of A ) );