Subtlety in generated equivalence relations
69043
The equivalence relation generated by a relation
35577
relations - examples and counterexamples
138436
How to prove reflexivity, symmetry and transitivity for the following relation?
98518
Cardinality of equivalence relations on N
57954
How many transitive relations on a set of $n$ elements?
1704
Define a relation and find its equivalence classes.
3465
Equivalence relations and power sets.
10858
Why isn't reflexivity redundant in the definition of equivalence relation?
108367
proving tautologically equivalent
147947
Does double negation distribute over implication intuitionistically?
104987
Equivalence Relation with dividing x and y integers
89167
Cardinality of equivalence relations in $\mathbb{N}$
115574
Finitely presented group with fewer relations than generators.
65910
Reflexivity of equivalence relations
80209
If $X,Y$ are equivalence relations, so is $X \times Y$
145388
Structural Induction: Metalogic Proof
45878
Elementary Set Theory: Ordinals, Well Orderings and Isomorphisms