So sind die letzten beiden Definitionen nur für solche sinnvoll, die als freie Variable enthalten (sollte in auch als gebundene Variable auftreten, so ist diese entsprechend umzubenennen, diese übliche Vereinbarung wird hier stillschweigend angenommen).