Definition of "eutectoid"