Ben, voilà t'as ta réponse dans ce bouquin.
Dans le bouquin, il est marque que la relation "est un ancetre de" est un relation d'ordre strict.
Azy fais moi une xpele d'antisymétrie
+ Ah oui, j'ai pas lu la ligne suivante
Dans ce même paragraphe, il est expliqué que l'antisymétrie se déduit des axiomes transitivité et d'antiréflexivité.