Strict Linear Order

A Weak Linear Order $(X,<)$ is a strict linear order if $<$ is a Decidable Relation.