ナチュラルで同値もしくは全同値の時って称号つけるべきじゃないよな?