I don’t think your example really applies, because no one expects the definition of “species” to imply that the “individual A can mate with individual B” relati

I don’t think your example really applies, because no one expects the definition of “species” to imply that the “individual A can mate with individual B” relation to be transitive.