Redundancy of reflexive property
10858
Why isn't reflexivity redundant in the definition of equivalence relation?
58631
Continuity and the Axiom of Choice
142219
Does the splitting lemma hold without the axiom of choice?
62936
Proving equivalencies of two versions of the Axiom of Choice
143060
If a relation is symmetric and transitive, will it be reflexive?
55257
Egoroff's theorem in Royden Fitzpatrick (comparison with lemma 10)
73526
The equivalence of "Every surjection has a right inverse" and the Axiom of Choice
77337
Is an Anti-Symmetric Relation also Reflexive?
131132
Proofs using vector properties
81550
Linking two theorems: on algebraic closure and on minimal splitting field
19289
complement of a set and its measure
99341
Basic question: closure of irreducible sets
89506
Union of disjoint sets : Equivalence relations
151947
Finding a pair of functions with properties
27478
Proof that two basis of a vector space have the same cardinality in the infinite-dimensional case
157490
Statements equivalent to the Axiom of Choice
78117
Closed property of nonempty finite set