例
C を圏 D の余反射的部分圏(過去スレ018の147)とする。
R を D から C への余反射関手(過去スレ018の156)とする。
U：C → D を包含関手とする。
X ∈ C, Y ∈ D のとき、全単射 ψ：Hom(U(X), Y) → Hom(X, R(Y)) が存在する。
このとき (U, R, ψ) は随伴状況(>>362)である。