Page "Ring species" Paragraph 3

Formally, the issue is that interfertile " able to interbreed " is not a transitive relation – if A can breed with B, and B can breed with C, it does not follow that A can breed with C – and thus does not define an equivalence relation.

A ring species is a species that exhibits a counterexample to transitivity.