定義
F：C → D を関手とする。
C における吸い込み(>>16) S に対して、
F(S) (>>23)が D における全吸い込み(>>19)であれば、
常に S が C における全吸い込みであるとき、F は全吸い込みを反映するという。