Avanzando en la seccion 4, explicando el isomorfismo (∉↝,∉↜)