Sub:
완전부분순서,complete_partial_order,CPO =완전부분순서,complete_partial_order,CPO =,complete_partial_order,CPO =,CPO 완전부분순서 complete_partial_order CPO
{
complete_partial_order ?
CPO ?

// tmp from (src)
{
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.

부분순서,partial_order 조건 만족
∃₌₁ least_element // least_element
∀사슬,chain has_a : 최소상계,least_upper_bound

}

} // 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)

집합,set A의 원소들 간에 이항관계,binary_relation R이 있는데, R이 다음 세 조건을 만족하면, 순서쌍(2-tuple) (A, R)은 부분순서집합.

ⓐ reflexive relation = reflexive_relation =,reflexive_relation . reflexive_relation
ⓑ antisymmetric relation = antisymmetric_relation =,antisymmetric_relation . antisymmetric_relation
ⓒ transitive relation = transitive_relation =,transitive_relation . transitive_relation
}

partial_order_reduction

Up:
이항관계,binary_relation
순서,order

부분,part?