<Зануда> глобальные они потому что обявлены в глобальном контексте) а менять их не надо, потому что это сложно контролировать и будет лапша непонятная </Зануда>
Ну я думаю тут скорее назвать их глобальными нельзя. Это скорее локальные на уровень выше, но в целом как я понял. В функции в функции, переменные из высшей функции тоже будут доступны?