Sentence:  1.30. Corollary. "If P is a <WSD>binary relation</WSD> which is asymmetric and negatively transitive, then P is also transitive." / It should be noted that a <WSD>binary relation</WSD> may be irreflexive and negatively transitive without being transitive; as an example, consider the standard inequality relation (≠). 
Meaning of the word marked with <WSD> tags:  A subset of the Cartesian product "A"×"A" (the set of ordered pairs ("a", "b") of elements of "A").