Код внутри тела какой-то функции не запускается до тех пор, пока функция не будет вызвана; поскольку имена в функции не распознаются вплоть до ее действительного выполнения, внутри функции обычно можно ссылаться на имена, находящиеся где угодно в файле.

Однако правило LEGB вносит свои корректировки. Python все равно проверяет существование имен во время выполнения, а не во время определения функции, так что следующий код вызовет ошибку:

def main(x):
    print(x)

main(x)
x = 5

x должен существовать в момент вызова функции, а не просто где-то в файле.