Sentence:  It can easily be verified that the above relation is a <WSD>preorder</WSD>, i.e. that it is reflexive and transitive. 
Meaning of the word marked with <WSD> tags:  A binary relation that is reflexive and transitive.