This is again an equivalence relation, with the equivalence classes called main classes, species, or paratopy classes.
これもやはり同値関係であって、この同値類は main classes、species、paratopy classes などという。