PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (236)
Orphanage
Unclass'd (1)
Unproven (540)
Corrections (49)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'equivalence relation'
1. $0\ne 1$ as real numbers by mps
2. $L^{\infty}(X, \mu)$ by ack
3. $\sim$ is an equivalence relation by Wkbj79
4. ${\mathbb{Z}}_n$ by Wkbj79
5. (closed) walk / trek / trail / path by marijke
6. adjunction space by antonio
7. affine geometry by CWoo
8. algebraic definition of a lattice by CWoo
9. alternative definition of cardinality by CWoo
10. angle by CWoo
11. associates by drini
12. Bolyai-Gerwien theorem by CWoo
13. Boolean lattice by mathcam
14. Boolean quotient algebra by CWoo
15. Boolean subalgebra by CWoo
16. Brauer group by djao
17. category of paths on a graph by rspuzio
18. chain homotopy equivalence by CWoo
19. characteristic monoid by CWoo
20. class structure by CWoo
21. classification of covering spaces by Dr_Absentius
22. coalgebra isomorphisms and isomorphic coalgebras by joking
23. commensurable numbers by pahio
24. commensurable subgroups by asteroid
25. commutativity relation in an orthocomplemented lattice by CWoo
26. complete ring of quotients by jocaps
27. completion by djao
28. complex number by djao
29. complex projective line by bwebste
30. concepts in set theory by matte
31. conditional expectation by georgiosl
32. conformally equivalent by Koro
33. congruence by mclase
34. congruence by rspuzio
35. congruence by almann
36. congruence axioms by CWoo
37. congruence in algebraic number field by pahio
38. congruence lattice by CWoo
39. congruence on a partial algebra by CWoo
40. congruence relation on an algebraic system by CWoo
41. conjugacy class by djao
42. conjugacy class by drini
43. conjugacy classes in the symmetric group $S_n$ by rm50
44. connected category by CWoo
45. connected component by djao
46. connected space by mathcam
47. connected sum by bwebste
48. constructing automata from regular languages by CWoo
49. construction of a Brandt groupoid by CWoo
50. construction of Riemann surface using paths by rspuzio
51. continuous geometry by CWoo
52. continuous relation by CWoo
53. correspondence of normal subgroups and group congruences by Dr_Absentius
54. coset by djao
55. cubic reciprocity law by mathcam
56. curve by rmilson
57. cylindric algebra by CWoo
58. deformation retract by mathcam
59. Dehn's theorem by paolini
60. diamond lemma by CWoo
61. diffeotopy by rspuzio
62. direct limit of algebraic systems by CWoo
63. direct limit of sets by CWoo
64. disjunction property of Wallman by porton
65. effective equivalence relation by CWoo
66. equality by pahio
67. equivalence class by mathcam
68. equivalent automata by CWoo
69. equivalent grammars by CWoo
70. equivalent machines by CWoo
71. equivalent regular expressions by CWoo
72. eventually coincide by mathcam
73. every locally integrable function is a distribution by matte
74. example of non-separable Hilbert space by rspuzio
75. examples of equalizers by CWoo
76. extended norm by rspuzio
77. formal congruence by pahio
78. free group by yark
79. Frobenius morphism by alozano
80. functor category by CWoo
81. Galois connection by CWoo
82. gcd domain by CWoo
83. geometric lattice by CWoo
84. germ by fernsanz
85. germ of smooth functions by rspuzio
86. graph homeomorphism by Ziosilvio
87. Grassmann-Hopf algebroid categories and Grassmann categories by bci1
88. Green's equivalences by mathcam
89. Grothendieck group by mhale
90. groupoid and group representations related to quantum symmetries by bci1
91. height of an element in a poset by CWoo
92. homotopy double groupoid of a Hausdorff space by bci1
93. homotopy equivalence by matte
94. hyperreal by djao
95. ideal class by mathcam
96. identification topology by rspuzio
97. imaginaries by mathcam
98. inflection points and canonical forms of non-singular cubic curves by rspuzio
99. integer by CWoo
100. integral binary quadratic forms by rm50
101. intercession by WM
102. interpretation of well-formed formulas by CWoo
103. isogeny by mathcam
104. isotope of a groupoid by CWoo
105. jet bundle by rspuzio
106. join by mathcam
107. Jones Polynomial by Stephaninos
108. K-homology by mhale
109. K-theory by mhale
110. kernel of a homomorphism between algebraic systems by CWoo
111. knot theory by CWoo
112. lattice filter by CWoo
113. lattice ideal by CWoo
114. lattice of projections by asteroid
115. lattice polynomial by CWoo
116. Lie algebroids by bci1
117. Lindenbaum-Tarski algebra by CWoo
118. localization by djao
119. localization of a module by CWoo
120. locally compact groupoids by bci1
121. logicism by gribskoff
122. long exact sequence in cohomology by rm50
123. models constructed from constants by ratboy
124. modular lattice by yark
125. monadic algebra by CWoo
126. mutual positions of vectors by pahio
127. Myhill-Nerode theorem for semigroups by Ziosilvio
128. M\"obius strip by Mathprof
129. Nerode equivalence by Ziosilvio
130. notes on the classical definition of a manifold by rmilson
131. open and closed intervals have the same cardinality by mps
132. order ideal by CWoo
133. ordered geometry by CWoo
134. oriented cobordism by mathcam
135. parallelism of two planes by pahio
136. parallellism in Euclidean plane by pahio
137. partially ordered group by CWoo
138. partition by Wkbj79
139. partition is equivalent to an equivalence relation by CWoo
140. partitions form a lattice by CWoo
141. path component by djao
142. permutable congruences by CWoo
143. physical vector by rmilson
144. pointed set by CWoo
145. polytope by mps
146. positive by pahio
147. pre-order by yark
148. preorder as a category by CWoo
149. presentation of inverse monoids and inverse semigroups by Mazzu
150. projective equivalence by CWoo
151. projective line configurations by rspuzio
152. projective space by rmilson
153. proof of Banach-Tarski paradox by GrafZahl
154. proof of basic theorem about ordered groups by rspuzio
155. proof of basis of ideal in algebraic number field by lalberti
156. proof of embedding theorem for ordered abelian groups of rank one by rspuzio
157. proof of Gram-Schmidt orthogonalization procedure by rspuzio
158. proof of pseudoparadox in measure theory by rspuzio
159. proof of Vitali's Theorem by paolini
160. properties of parallel curves by pahio
161. propositional calculus by Jon Awbrey
162. quadratic form by CWoo
163. quantum operator algebras in quantum field theories by bci1
164. quasicomponent by Evandar
165. quotient category by CWoo
166. quotient group by azdbacks4234
167. quotient group of a topological group by its identity component is totally disconnected by joking
168. quotient ring by mathwizard
169. quotient space by djao
170. Radon measure by ptr
171. ray by CWoo
172. real number by djao
173. realization of a formula by a truth function by CWoo
174. reduced automaton by CWoo
175. regarding the sets $A_n$ from the traveling hump sequence by Wkbj79
176. relation algebra by CWoo
177. relation on objects by CWoo
178. relative homology groups by bwebste
179. residuated by CWoo
180. Riemann zeta function by alozano
181. Riesz group by CWoo
182. Riesz interpolation property by CWoo
183. rules of calculus for derivative of formal power series by rspuzio
184. Sch\"{u}tzenberger graph by Mazzu
185. Scott topology by CWoo
186. sectionally complemented lattice by CWoo
187. semiotic equivalence relation by Jon Awbrey
188. set theory by mathwizard
189. similar matrix by Wkbj79
190. similarity in geometry by pahio
191. simple algebraic system by CWoo
192. simultaneous block-diagonalization of upper triangular commuting matrices by lars_h
193. simultaneous upper triangular block-diagonalization of commuting matrices by lars_h
194. six exponentials theorem by Kevin OBryant
195. skeleton by CWoo
196. skew Hadamard matrix by Mathprof
197. special elements in a relation algebra by CWoo
198. stalk by djao
199. Stirling numbers of the second kind by rmilson
200. subgroup of a group defines an equivalence relation on the group, proof that a by Dr_Absentius
201. subobject by CWoo
202. symmetric power by jirka
203. syntactic congruence by Ziosilvio
204. tangent space by rmilson
205. Teichm\"uller space by jirka
206. the characteristic embedding of the Burnside ring by joking
207. the groups of real numbers by Algeboy
208. thin equivalence relation by bci1
209. things counted by the Catalan numbers by rm50
210. Thue system by CWoo
211. time complexity by akrowne
212. topological conjugation by Koro
213. topological vector lattice by CWoo
214. type of a distribution function by CWoo
215. uniquely complemented lattice by CWoo
216. valuation by djao
217. weak Hopf algebra by bci1
218. well quasi ordering by CWoo