命題
(C, U) を圏 A 上の準具象圏(>>794)とする。
f：X → Y を C-射とする。
f は構造射(>>846)と見なせる。

このとき f が C-全射であるためには f が生成的(>>847)であることが必要十分である。

証明
自明である。