User talk:98.149.9.163

Posets
If < is transitive and irreflexive and a < b, it cannot hold that b < a (since otherwise a < a, by transitivity). --JBL (talk) 18:29, 5 October 2020 (UTC)