定義
C を圏とする。
C における任意の射が像(>>279)を持つとき C は像を持つと言う。
C における任意の射が全射的像(>>281)を持つとき C は全射的像を持つと言う。