La inyectividad es cuando cada mapeo tiene un solo ancestro. Cuando el predecesor es único.
Figure 2.2: Representación gráfica de la inyectividad. Cada predecesor
es único. Aunque no se ocupen todos los ancestros.
Se dice que hay biyectividad cuando hay mapeos de uno a uno entre ancestros y mapeos y viceversa. Cuando es inyectivo y sobreyectivo al mismo tiempo. Si hay biyectividad en un autómata, este es reversible.
Figure 2.3: Representación gráfica de la biyectividad. Hay mapeos de
uno a uno entre ambos conjuntos.