Una vez que hemos definido las características que debe cumplir la regla de evolución
para inducir un mapeo global reversible, podemos ahora señalar que cualidades deben
presentar los diagramas que describen el comportamiento de tal ACL para que éste sea
invertible.