Domination
De même qu’on a la relation de succession (X<Y) et la relation de précédence (X<<Y), il serait utile d’avoir à la fois la relation de dépendance (X->Y) et la relation de domination (X->>Y). Notamment pour le calcul de la projection d'un nœud et du span de cette projection.
To upload designs, you'll need to enable LFS. More information