<p>We prove that a variety <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathcal {V}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">V</mi> </math></EquationSource> </InlineEquation> is a Taylor variety if and only if the compatible reflexive antisymmetric digraphs in <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathcal {V}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">V</mi> </math></EquationSource> </InlineEquation> are cycle-free.</p>
We prove that a variety \(\mathcal {V}\) is a Taylor variety if and only if the compatible reflexive antisymmetric digraphs in \(\mathcal {V}\) are cycle-free.