1. (Математика, теорія множин) Про функцію або відображення: таке, що кожен елемент множини-образу є образом принаймні одного елемента з множини-прообразу; сюр’єктивний.
2. (Математика, теорія категорій) Про морфізм: такий, що є епіморфізмом у відповідній категорії.