加法圏formula_11の対象の射が分裂べき等元()であるとはかつ射とが存在して,が成り立つことをいう。