特に、代数の準同型像 "h"("a")は同種の代数になる。