'송수진 해석학 강의노트'라고 돌아다니는 물건에서 읽은 건데 두번째 줄이 의미하는 게 뭔지 이해가 안갑니다. 이걸 찾아본 이유가 지금 Bartle 해석학을 독학하고 있는데 Bartle 이 이거 설명이 없더라고요. 그런데 이 내용을 증명에 쓰기는 하는 것 같고. 혹시 도와주실 수 있나요?