query: Partial orders and equivalence relations
positive_passages.docid: 150857
positive_passages.text: Equivalence relations on S given no relation?
negative_passages.docid: 72371
negative_passages.text: Proof of Strong Induction Using Well-Ordering Principle
negative_passages.docid: 2396
negative_passages.text: Order-preserving injections of ordinals into $[0,1]$
negative_passages.docid: 20615
negative_passages.text: How many Nerode equivalence classes does the language $x\neq y$ have?
negative_passages.docid: 156178
negative_passages.text: Do counit-unit adjunctions have the expected universal properties?
negative_passages.docid: 74015
negative_passages.text: Number of relations that are both symmetric and reflexive
negative_passages.docid: 82753
negative_passages.text: How can I show that this is a partial order?
negative_passages.docid: 113065
negative_passages.text: Proving equivalences of statements equivalent to AC
negative_passages.docid: 20030
negative_passages.text: Is an equivalence an adjunction?
negative_passages.docid: 104987
negative_passages.text: Equivalence Relation with dividing x and y integers
negative_passages.docid: 3465
negative_passages.text: Equivalence relations and power sets.
negative_passages.docid: 91698
negative_passages.text: Proofs of consistency for two formal systems
negative_passages.docid: 22482
negative_passages.text: How can an ordered pair be expressed as a set?
negative_passages.docid: 115649
negative_passages.text: Proving two sets $A, B$ are order isomorphic
negative_passages.docid: 98518
negative_passages.text: Cardinality of equivalence relations on N
negative_passages.docid: 109318
negative_passages.text: Equivalence relation $(a,b) R (c,d) \Leftrightarrow a + d = b + c$
negative_passages.docid: 59727
negative_passages.text: Understanding equivalence class, equivalence relation, partition