[대학교이상] 해석학 증명 질문드립니다.

[익명(39.7)]

1. 사진에서 틀린 부분이 있을까요?

2. 만약 전제가 A in S, S is ordered set 뿐이라면, 사진처럼 증명할 수 없는 것인가요? (alpha-epsilon이 set A에 존재하지 않을 수 있으니)

감사합니다.