תהי p תנועה קטנה מספיק ע"מ שלא להחשב כהתמתחות (קבוצת התנועות P).
תהי q תנועה גדולה מספיק ע"מ להחשב כהתמתחות (קבוצת התנועות Q).
תהי f הגדלת תנועה במידה גדולה מ0 כך שמהפעלה שלה על תנועה מP מתקבלת גם תנועה ששייכת לP.
תהי p תנועה קטנה מספיק ע"מ שלא להחשב כהתמתחות (קבוצת התנועות P).
תהי q תנועה גדולה מספיק ע"מ להחשב כהתמתחות (קבוצת התנועות Q).
תהי f הגדלת תנועה במידה גדולה מ0 כך שמהפעלה שלה על תנועה מP מתקבלת גם תנועה ששייכת לP.
אז בנוגע לגרסאות הגלובאליות, הייתי הולך על זה.
אז בנוגע לגרסאות הגלובאליות, הייתי הולך על זה.