Hola.
Si se aplica, pero el axioma lo que dice es que una entidad puede distinguir entre sus vecinos de salida (de entrada).
Pero lo que no puede es relacionar un enlace de salida con uno de entrada, es decir no es posible saber si un enlace de salida va hacia el mismo nodo que un enlace de entrada.
Para poder hacer esto es que necesitamos la restricción "Bidirectional links".
Espero se entienda.
Saludos