// tmp from (
src(https://ropas.snu.ac.kr/~jwchoi/talks/snt120601.pdf))
{
CPO, Complete Partial Order
Partial ordering에, Additional conditions가 붙은 것:
1 There exists a least element, usually written as ⊥.
2 Every chain has a least upper bound.
i.e.
}
} // CPO
부분순서집합,partially_ordered_set,poset
{
Binary relation R in a set A which is reflexive, antisymmetric, and transitive. / The pair (A, R) is called a
poset. (
src(https://ropas.snu.ac.kr/~jwchoi/talks/snt120601.pdf))
ⓐ reflexive relation = reflexive_relation =,reflexive_relation . reflexive_relation
ⓑ antisymmetric relation = antisymmetric_relation =,antisymmetric_relation . antisymmetric_relation
ⓒ transitive relation = transitive_relation =,transitive_relation . transitive_relation
}
3. wikiadmin ¶
2023-12-04 Page name via KMS. 저기 반순서도 번역어로 제시되었으나, 반-은 anti-, half- 의미가 강해서 부분순서가 좋겠다.