למת פודור – הבדלי גרסאות

ולכן <math>\forall \beta < \alpha,\, f(\alpha) \neq \beta</math> בסתירה לכך ש-f דוחסת.

== הכללות ==

 

Jech הכליל את מושג הקבוצה הסגורה ולא חסומה, ובהתאם את מושג קבוצת השבת, לתת קבוצות של <math>P_\kappa \lambda</math> (אוסף תתי הקבוצות של <math>\lambda</math> מעוצמה קטנה מ-<math>\kappa</math>). במקרה הזה, פונקציה דוחסת מוגדרת להיות פונקציה שהטווח שלה הוא <math>\lambda</math> והיא מקיימת <math>f(x) \in x</math> לכל x בתחום ההגדרה שלה. מתקבל כי אם פונקציה דוחסת f, מוגדרת על קבוצת שבת S, אז קיימת תת קבוצה של S שהיא שבת ועליה f קבועה.