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 and have an admin enable hashed storage. More information