Diferencia entre revisiones de «Relación de equivalencia»
Contenido eliminado Contenido añadido
ACTUALIZACION DE DATOS WIKIPEDISTICOS |
m Revertidas 1 edición por 190.43.8.252 identificadas como vandalismo a la última revisión por Farisori. (TW) |
||
Línea 25:
==Conjunto cociente==
El conjunto de todas las clases de equivalencia se denomina '''conjunto cociente''' y se lo suele denotar como:
{{ecuación|
<math>K/\sim\, \qquad \qquad K/\sim = \{[a]\in \mathcal{P}(K)|\
([a]\cap[b]\ne 0) \iff \left( \exists a\in [a] \land \iff \exists b\in [b]: a\sim b \right) \}</math>
||left}}
Tal como muestra la definición anterior el conjunto cociente es un subconjunto del [[conjunto potencia|conjunto de partes]] de ''K''.
==Lema de abstracción==
| |||