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

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

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