במתמטיקה, פונקציה מקבוצה A לקבוצה B היא על אם כל איבר בקבוצה B מתקבל כערך של הפונקציה. באופן פורמלי, פונקציה f: X \rightarrow Y היא על Y , אם לכל איבר בטווח (Y) של הפונקציה מתאים לפחות איבר אחד בתחום (X) שלה. במילים אחרות: התמונה של f שווה לטווח שלה. בסימון מתמטי: לכל y \in Y קיים x \in X כך ש⁻f(x) = y . במקרה זה לעיתים מסמנים: f : X \twoheadrightarrow Y כדי לציין ש⁻f היא על. מתוך ויקיפדיה

התאמה חד⁻חד ערכית, התאמה חד⁻חד⁻ערכית, התאמה חד⁻חד⁻ערכית ועל, התאמה מגדרית, התאמה מושרית, התאמת טכנולוגיה למשימה, התאמת יתר, התאמת כיווני מבט, התאן באהברי, התאנשות