Sentence:  Equality is a symmetric <WSD>relation</WSD>, while divisibility is not. 
Meaning of the word marked with <WSD> tags:  "Specifically", a set of ordered pairs.