記法
C を圏とする。
f：X → Y を C における射とする。
Z を Y の部分対象(過去スレ018の646)とする。
Z の f による逆像(過去スレ019の105)を f^(-1)(Z) と書く。