얌미님,

이 부분을 설명하기 위한 내용이 책에 있는데 많이 부족했나 보네요.
def 함수에서 사용된 변수명은 def 밖의 변수명과 아무런 상관이 없습니다.

즉, 변수명을 동일하게 a로 사용한다고 해도 전혀 다른 변수입니다.

따라서 다음처럼

def vartest(a):
    a = a + 1

vartest(3)
print(a)

vartest에서 사용된 a 변수는 def 함수에서만 사용됩니다.
이 때 print(a) 처럼 함수 밖에서 a를 참조하려고 하면 어떤 결과가 생길까요?

a라는 변수를 찾을수 없다는 오류가 발생하게 될 것입니다.

설명하다보니 책의 내용과 별 다를게 없을것 같네요. ㅜㅜ
아무튼 도움이 되셨기를 바랍니다.

1. 함수의 안과 밖이 무엇인지 (범위)
2. a의 플로우 (범위와 변수명간의 관계)
   이부분이 궁금하신건가요?

저도 초보입니다만 간단한부분인데 이해를 돕기위해 조금 길게 써봤습니다 ㅋㅋ

1번 답변 드리겠습니다.

`a =1   `

def vartest(a): ← 함수명/함수선언 
　a = a + 1 ← 시작
　return a ← 반환
← 함수 끝 왜냐? 공백(탭)이 없기 때문.

a =vartest(3)
print(a)

만약 다른 언어라면 이런식으로 표현합니다.( 파이썬에 "{","}"만 추가한겁니다 이런 언어는 실제로 없습니다. 이해를 돕기위함임 )
이렇게 보시니 안과 밖이라는 개념이 좀 이해가 되시나요?

def vartest(a) ← 함수명/함수선언
{ ← 시작
　a = a + 1
　return a ← 반환
}← 끝

a =vartest(3)
print(a)

*추가설명드리자면 return 시 함수는 종료됩니다. 일반적으로 reutrn이 있다면 그부분이 끝이라고 보시면됩니다.
다만 반환하지 않는 경우도 있습니다. 따라서 return 은 무조건 함수 탈출이라고 생각하시면안됩니다.

def vartest(a) ← 함수명/함수선언
　a = a + 1
　print(a)

vartest(3)
print('ok')

결과 >

4
ok

2번 답변 . a 가 함수 위에도 있고 아래에도 있고 안에도 있고헷갈리시는것같습니다.
말씀하신 아래 구문

a =1   

def vartest(a):
　a = a + 1
　return a

a =vartest(3)
print(a)

위 구문은 모두 아래와 같은 기능과 역할입니다.

변형1.

def vartest(a):
　a = a + 1
　return a

a =1   
a =vartest(3)
print(a)

변형2. 이렇게 쓰는 조금 이해가 가시나요?

a =1   
a =vartest(3)
print(a)


def vartest(a):
　a = a + 1
　return a

변형3. 함수의 변수명을 바꿔볼께요 vartest매개변수명만 바뀌엇지 기능과 역할 표현은 모두 동일합니다.

a =1  
a= vartest(3)
print(a)


def vartest(ab):
　ab = ab + 1
　return ab

변형3에서 a→ 밖의 a, ab → 안의 a입니다. 다만 변수명을 같게했을뿐이죠