במתמטיקה, פונקציה סתומה היא פונקציה המוגדרת על ידי משוואה, ולא באופן ישיר. לפעמים אפשר לפתור את המשוואה ולהציג את הפונקציה באופן מפורש, אבל במקרים רבים ההצגה המפורשת פחות סימטרית מן המשוואה, ואין בה תועלת. משפט הפונקציה הסתומה מספק תנאים לקיומה של פונקציה המוגדרת באופן סתום על ידי מערכת משוואות, ואף מאפשר לחשב את הנגזרות שלה. מתוך ויקיפדיה

באנליזה מתמטית, משפט הפונקציות הסתומות עוסק באפשרות לחלץ ממשוואה בכמה משתנים חלק מהמשתנים כפונקציה של האחרים. כלומר, המשפט מראה באילו תנאים משוואה מציגה פונקציה באופן סתום, ומהן התכונות של אותה פונקציה. מתוך ויקיפדיה

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