The naming follows Bossert & Suzumura (2009), p.2-3. — For the only-if part, define xJy as xRy ∧ yRx, and define xPy as xRy ∧ ¬yRx. — For the if part, assume xRy ∧ ¬yRx ∧ yRz ∧ ¬zRy holds. Then xPy and yPz, since xJy or yJz would contradict ¬yRx or ¬zRy. Hence xPz by transitivity, ¬xJz by disjointness, ¬zJx by symmetry. Therefore, zRx would imply zPx, and, by transitivity, zPy, which contradicts ¬zRy. Altogether, this proves xRz ∧ ¬zRx. Bossert, Walter; Suzumura, Kotaro (Mar 2009). "Quasi-transitive and Suzumura consistent relations"(PDF). Social Choice and Welfare (Technical Report). 39 (2–3). Université de Montréal, Waseda University Tokyo: 323–334. doi:10.1007/s00355-011-0600-z. S2CID38375142. Archived from the original(PDF) on 2018-04-12.
The naming follows Bossert & Suzumura (2009), p.2-3. — For the only-if part, define xJy as xRy ∧ yRx, and define xPy as xRy ∧ ¬yRx. — For the if part, assume xRy ∧ ¬yRx ∧ yRz ∧ ¬zRy holds. Then xPy and yPz, since xJy or yJz would contradict ¬yRx or ¬zRy. Hence xPz by transitivity, ¬xJz by disjointness, ¬zJx by symmetry. Therefore, zRx would imply zPx, and, by transitivity, zPy, which contradicts ¬zRy. Altogether, this proves xRz ∧ ¬zRx. Bossert, Walter; Suzumura, Kotaro (Mar 2009). "Quasi-transitive and Suzumura consistent relations"(PDF). Social Choice and Welfare (Technical Report). 39 (2–3). Université de Montréal, Waseda University Tokyo: 323–334. doi:10.1007/s00355-011-0600-z. S2CID38375142. Archived from the original(PDF) on 2018-04-12.
pdfs.semanticscholar.org
The naming follows Bossert & Suzumura (2009), p.2-3. — For the only-if part, define xJy as xRy ∧ yRx, and define xPy as xRy ∧ ¬yRx. — For the if part, assume xRy ∧ ¬yRx ∧ yRz ∧ ¬zRy holds. Then xPy and yPz, since xJy or yJz would contradict ¬yRx or ¬zRy. Hence xPz by transitivity, ¬xJz by disjointness, ¬zJx by symmetry. Therefore, zRx would imply zPx, and, by transitivity, zPy, which contradicts ¬zRy. Altogether, this proves xRz ∧ ¬zRx. Bossert, Walter; Suzumura, Kotaro (Mar 2009). "Quasi-transitive and Suzumura consistent relations"(PDF). Social Choice and Welfare (Technical Report). 39 (2–3). Université de Montréal, Waseda University Tokyo: 323–334. doi:10.1007/s00355-011-0600-z. S2CID38375142. Archived from the original(PDF) on 2018-04-12.
The naming follows Bossert & Suzumura (2009), p.2-3. — For the only-if part, define xJy as xRy ∧ yRx, and define xPy as xRy ∧ ¬yRx. — For the if part, assume xRy ∧ ¬yRx ∧ yRz ∧ ¬zRy holds. Then xPy and yPz, since xJy or yJz would contradict ¬yRx or ¬zRy. Hence xPz by transitivity, ¬xJz by disjointness, ¬zJx by symmetry. Therefore, zRx would imply zPx, and, by transitivity, zPy, which contradicts ¬zRy. Altogether, this proves xRz ∧ ¬zRx. Bossert, Walter; Suzumura, Kotaro (Mar 2009). "Quasi-transitive and Suzumura consistent relations"(PDF). Social Choice and Welfare (Technical Report). 39 (2–3). Université de Montréal, Waseda University Tokyo: 323–334. doi:10.1007/s00355-011-0600-z. S2CID38375142. Archived from the original(PDF) on 2018-04-12.
