[대학교이상] 집합론 증명질문

[익명(115.92)]

여기서 k=s+ 까지 이해되었는데  s가 B의 원소가 아니면 s<t인 t가 A의 원소라는게 이해가 안가요..

[익명(58.29)]

상계가 아니니까

[ALTa(tladud123)]

s가 B의 원소가 아니면 = s가 집합 A의 상계가 아니면 상계가 아니니까 s < t 인 A의 원소 t가 존재한다

[익명(115.92)]

ㄳㄳ