למת פודור
ויקיפדיה האנציקלופדיה encyclopedia
בתורת הקבוצות, למת פודור היא טענה האומרת כי לכל מונה סדיר שאינו בן-מנייה, קבוצת שבת S ופונקציה דוחסת על S, קיימת תת-קבוצה של S כך שהפונקציה מצומצמת לתת-הקבוצה היא קבועה.
הלמה הוכחה בצורתה המודרנית על ידי ג'זה פודור בשנת 1956. גרסה חלשה יותר של הלמה הוכחה בשנת 1929 על ידי אוריסון ואלכסנדרוב.