query: Does symmetry and transitivity imply reflexivity for nonempty binary relation?
positive_passages.docid: 31392
positive_passages.text: Examples and Counterexamples of Relations which Satisfy Certain Properties
negative_passages.docid: 42835
negative_passages.text: Example of a relation that is symmetric and transitive, but not reflexive
negative_passages.docid: 89506
negative_passages.text: Union of disjoint sets : Equivalence relations
negative_passages.docid: 43599
negative_passages.text: Is the Ratio of Associative Binary Operations to All Binary Operations on a Set of $n$ Elements Generally Small?
negative_passages.docid: 14877
negative_passages.text: Why is this relation not transitive?
negative_passages.docid: 74114
negative_passages.text: How to find the number of anti-symmetric relations?
negative_passages.docid: 65910
negative_passages.text: Reflexivity of equivalence relations
negative_passages.docid: 69043
negative_passages.text: The equivalence relation generated by a relation
negative_passages.docid: 106670
negative_passages.text: Existence of vector space complement and axiom of choice
negative_passages.docid: 1643
negative_passages.text: Number of reflexive relations defined on a set A with n elements
negative_passages.docid: 157748
negative_passages.text: Why should the equality of mixed partials be "intuitively obvious"?
negative_passages.docid: 3465
negative_passages.text: Equivalence relations and power sets.
negative_passages.docid: 74377
negative_passages.text: Is the natural order relation on an idempotent semiring total/linear?
negative_passages.docid: 118189
negative_passages.text: Proving the pairing axiom from the rest of ZF
negative_passages.docid: 53101
negative_passages.text: Is it true that the relation |A| < |B| is a sufficient condition for claiming that $f$ is a bijection?
negative_passages.docid: 100289
negative_passages.text: Question about self-complementary graphs
negative_passages.docid: 82169
negative_passages.text: Why does a partially ordered set need to be reflexive?