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

העתקה מכווצת, העתקה מקבילה, העתקה נורמלית, העתקה נילפוטנטית, העתקה סימטרית, העתקה עמוקה, העתקה פרויקטיבית, העתקה צמודה לעצמה, העתקה צפידה, העתקה קונפורמית