Equivalence relation
It is transitive: if a first animal is in the same species as a second animal, and the second animal is in the same species as a third animal, then the first animal is in the same species as the third animal.