定義
C を圏とする。
f：X → Y とする。
g：Z → Y とする。
任意の f-等価対（>>305）が g-等価対であるとき g を f-等価射と呼ぶ。