Sentence:  Example 436 For each set A, the relation \subseteq is a <WSD>preorder</WSD> on \mathcal{P}(A). 
Meaning of the word marked with <WSD> tags:  A binary relation that is reflexive and transitive.