[일반] have의 해석 질문

[익명(175.223)]

A has special element

이러면 (1) special element가 존재하고 (2) A의 원소이다

라고 해석하고 싶은데

실제로는 그냥 (1)로만 끝나더라구

least upper bound property 같은거.

- dc official App

[익명(203.229)]

have 해석이 문제가 아니고 special element가 문제임. least upper bound property는 위로유계인 부분집합이면 최소상계가 존재한다는 뜻인데 최소상계라는 정의 자체가 그 부분집합에 속할 필요가 원래부터 없음.

[익명(203.229)]

이때 최소상계가 원래 부분집합에 존재한다고 표현하고 싶으면 A has the least upper bound in A라고 쓰면 됨