Weak Linear Order

A Strict Preorder ( X , < ) 𝑋 (X,<) is a weak linear order if < < is a Connected, Cotransitive Relation.