Сильно транзитивный граф

Сильно транзитивный граф (Strongly transitive graph) - транзитивный антисимметрический граф Бержа [math]\displaystyle{ (X,\Gamma) }[/math] (орграф), не содержащий таких троек вершин [math]\displaystyle{ x, \, y, \, z \in X }[/math], для которых выполнено условие

[math]\displaystyle{ z \in \Gamma x \wedge z \in \Gamma y \wedge x \not \in \Gamma y \wedge y \not \in \Gamma x. }[/math]