במתמטיקה, פונקציה מקבוצה 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 היא על. מתוך ויקיפדיה

במתמטיקה, פונקציה מקבוצה היא על. מתוך ויקיפדיה

פונקציה סימטרית, פונקציה סינגולרית, פונקציה סקלרית, פונקציה סתומה, פונקציה עולה, פונקציה עצמית, פונקציה פסאודו⁻אקראית, פונקציה פרימיטיבית רקורסיבית, פונקציה פשוטה, פונקציה קבועה