[일반] poset에서 상계 상한 궁금....

[익명(218.54)]

(A,<) 가 poset이고 B가 A의 부분집합일 때, B의 상계가 b라는 것은

b가 B의 모든 원소와 비교가능하다는 것을 포함하는 개념임?

아니면  b가 B의 비교가능한 원소들 중에서 크기만 하면 됨?

[뽈펜(ieieiei)]

전자임

[익명(218.54)]

감사합니당.

[익명(218.54)]

극대와 극소는 비교가능한 원소들끼리에서 따지면 되느거맞죠??

[뽈펜(ieieiei)]

극대 극소를 어케 정의함?

[익명(218.54)]

M 크거나 같다 x라면 M=x을 만족g하면 M을 극대라고 하는거 아닌가요?? 여기서 비교불가능한건 M <= x를 성립 안하니까..되는거 아닌가여

[뽈펜(ieieiei)]

아 ㅇㅇ 맞네 용어를 몰랐음

[익명(218.54)]

감사합니당!~