دالة غامرة هي دالة من المنطلق إلى المستقر تكون مداها مساوياً للمستقر، أي كل عنصر في المستقر هو صورة لعنصر واحد على الأقل من المنطلق؛ تمثل بالسهميات عبر وصول سهم واحد على الأقل إلى كل عنصر في المستقر، وتركيب دالتين غامرتين يكون غامراً عادةً.

سبحان الله