Dehát a 'faj' fogalma világosan definiálva van: két élőlény akkor tartozik egyazon fajba, ha képesek ivarosan szaporodni

Természetesen az osztályba sorolás feltétele az ekvivalenciareláció; ehhez szükséges volna a tranzitivitás. A gyűrűfajok épp erre a problémára mutatnak rá.

( tranzitivitás: A és B egy faj; B és C egy faj => A és C is egy faj)

Egyébként a "képesek ivarosan szaporodni" alapján a pincsi és a kuvasz két faj; a tigris és az oroszlán meg egy.