So, this is a conjunction of three sentences.

(1)

(2)

(3)

(2) and (3) mean that R is asymmetric and transitive, respectively. (Relations satisfying (1) are sometimes calledserial.) Note that (2) implies that R is irreflexive: .

Suppose . Pick any from the domain of M. Then (1) guarantees that there exists an such that . Similarly, there exists an such that and so on. This way, we can build a sequence where, due to (3), for all . Now, the sequence has to be infinite, i.e., it is not possible that for some and . Indeed, suppose . If , then , which contradicts irreflexivity of R. If , let ; then and . So, and , which again contradicts (2).