Sentence:  The relation of logical implication over sentences is an example of a <WSD>preorder</WSD>. 
Meaning of the word marked with <WSD> tags:  A binary relation that is reflexive and transitive.