Relaciones de equivalencia y particiones
Sea M un conjunto no vacío de mangos, y B un conjunto de barriles distintos, tal que cada mango está en algún (único!) barril de M , y todo barril de B es un conjunto no vacío de mangos de M. Es claro que para todo trío de mangos a, b y c:
1. a y a están en el mismo barril.
2. Si a está en el mismo barril que b, entonces está en el mismo barril que a.
3. Si a está en el mismo barril que b y b está en el mismo barril que c, entonces a está en el mismo barril que c.
Esto es, si definimos sobre M la relación a ~ b si y sólo si a está en el mismo barril que b, entonces ~ es reflexiva, simétrica y transitiva. En estas condiciones, podemos pensar en un mango a no como individuo particular, sino como {a},el barril al que pertenece. |
