At least for sexually reproductive species, your first objection could be addressed by defining the species relation as the transitive closure of the relation A ~ B if A can reproduce with B. (so for instance male1 ~ female0 and male2 ~ female0 by the original definition, and then male1 ~ male2 via the closure)