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

למת הניפוח לשפות רגולריות, למת הסנדוויץ', למת הספירה, למת הרגולריות של סמרדי, למת לחיצות הידיים, למת רימן⁻לבג, למת שוורץ, למת שפרנר, למתנדבים בעם, לן