定義
(F, G, ψ) を随伴状況(>>362)とする。
η：1_C → GF を (F, G, ψ) の単位(>>413)とする。
ε：FG → 1_D を (F, G, ψ) の余単位(>>425)とする。

この状況を簡潔に表すため、(F, G, ψ, η, ε) も随伴状況と呼ぶ。