Basic) 함수의 논리와 엄밀화 > 수식으로 다루는 함수의 성질