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