記法
X を圏 C の対象とする。
(e_i, Y_i)_I を X の商対象(過去スレ018の653)の族とする。
(e_i, Y_i)_I の余結び(>>158) Y が存在するとき
Y を ∪(e_i, Y_i)_I、∪(e_i, Y_i)、∪(e_i；Y → Y_i)_I、∪(Y_i；i ∈ I)、∪Y_i などと書く。