定義
C を圏とする。
f：X → Y を C における射とする。
f が像(>>279) Z を持ち f から誘導された射(>>280) g：X → Z が全射のとき
f は全射的像(epimorphic image)を持つと言う。