Some background this time. Species = {GENUS: specifying difference} (e.g., Man is ANIMAL: rational: mortal). A species entails other species, and all the species together fully complete all instances of the genus. The genus ANIMAL may be divided into the species God = ANIMAL: rational: immortal; Man = ANIMAL: rational: mortal; Beast = ANIMAL:irrational: mortal; Divine Beast (e.g. Cerberus) = ANIMAL:irrational:immortal. So… Euthyphro agrees to Socrates’ suggestion that the holy is a part of the just. The subsequent example of a division of NUMBER into its two Species - {NUMBER:scalene} and {NUMBER:isosceles} indicates that Socrates is treating the holy here as if it is a species of the just. He essentially expects Euthyphro to provide the specifying difference, to say what sort of justice holiness is, i.e., the Holy is {JUSTICE: in some way}
