Primero, una conveniencia de notación: x -> {y, z} es la abreviatura de R (x, y) y R (x, z).
Para comenzar:
d -> {}
- ¿Cuáles son algunos juegos de palabras basados en inducción matemática?
- ¿Cuál es el significado de la transformación de dispersión inversa?
- ¿Qué es el modelado matemático de materiales?
- ¿Por qué contamos en incrementos de 10?
- ¿Cómo te aseguras de que los dos taladros de un túnel se encuentran?
(d nunca aparece en el lado izquierdo de una relación).
a -> {}
(Tampoco a.)
e -> {d}
(e solo aparece en el RHS de (e, d) yd -> {})
Hasta este momento no hemos necesitado agregar ninguna relación. Ahora tenemos que descubrir las reglas con byc en el lado izquierdo. Primero c.
(c, b) + (b, a) => (c, a)
(c, b) + (b, e) => (c, e)
Junto con las relaciones en R que da:
c -> {a, b, d, e}
(c es el único elemento al que no se puede acceder desde c. De hecho, c es inalcanzable desde todos los elementos ya que nunca aparece en el lado derecho).
Agregar la relación restante
(b, e) y (e, d) => (b, d)
da
b -> {a, d, e}
(c es inalcanzable como se indicó anteriormente y R (b, b) requeriría un ciclo a través de a, doe; sin embargo, d es el único elemento accesible a partir de esos valores).
Tomando el conjunto original y las tres nuevas relaciones que obtenemos:
R = {(b, a), (b, d), (b, e), (c, a), (c, b), (c, d), (c, e), (e, d) }
