תקפותה לא תשתנה גם אם נחליף את שמות המשתנים זה בזה.
דוגמא נוספת מאותו סוג: תהי <math>\sigma</math> תמורה על <math>1,\dots,n</math> ונניח שלכל <math>i=1,\dots,n</math>, יש ל <math>\sigma(i)</math> תכונה מסויימת. אזי אפשר, לכל <math>i</math>, להציב את <math>\sigma^{-1}(i)</math> ולהסיק שלכל <math>i</math> יש את התכונה הזו.
(זו רק הכוונה כללית, ההצגה טעונה שיפור, וגם כדאי להביא דוגמאות קונקרטיות.)
== שלילה ==