1. У математиці, зокрема в теорії категорій та гомологічній алгебрі — морфізм у категорії, який є правою скасованою для мономорфізмів, тобто такий морфізм e: A → B, що для будь-яких мономорфізмів m, n з однаковою кодоменою, рівність m ∘ e = n ∘ e тягне за собою m = n.
2. У загальній алгебрі — сюр’єктивний гомоморфізм, який має властивість скасування праворуч для мономорфізмів, часто використовується при вивченні модулів та точних послідовностей.