부분순서,partial_order

Difference between r1.8 and the current

@@ -2,6 +2,7 @@
## ==부분순서,partial_order =,partial_order . 부분순서 partial_order
----
Sub:
[[부분순환순서,partial_cyclic_order]] ? - Rel [[순환순서,cyclic_order]]
[[완전부분순서,complete_partial_order,CPO]] =완전부분순서,complete_partial_order,CPO =,complete_partial_order,CPO =,CPO 완전부분순서 complete_partial_order CPO
{
WtEn:complete_partial_order ?



Sub:
부분순환순서,partial_cyclic_order ? - Rel 순환순서,cyclic_order
완전부분순서,complete_partial_order,CPO =완전부분순서,complete_partial_order,CPO =,complete_partial_order,CPO =,CPO 완전부분순서 complete_partial_order CPO
{
WtEn:complete_partial_order ?
WtEn:CPO ?

// tmp from ([https]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.


}


} // 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. ([https]src)

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

ⓐ reflexive relation = reflexive_relation =,reflexive_relation . reflexive_relation
{
reflexive relation
반사관계 via KmsE:reflexive relation

임의의 원소 a에 대해 aRa를 만족하는 이항관계. (wk)

Twin

https://ko.wikipedia.org/wiki/반사관계
https://simple.wikipedia.org/wiki/Reflexive_relation
https://en.wikipedia.org/wiki/Reflexive_relation
https://ja.wikipedia.org/wiki/反射関係

xxx
https://en.wiktionary.org/wiki/reflexive_relation x 2023-12 ... see WtEn:reflexive#Adjective instead.

Up: 반사성,reflexivity =반사성,reflexivity =,reflexivity . 반사성 reflexivity { 반사성 via KmsE:reflexivity WtEn:reflexivity Ggl:reflexivity Up: 성질,property(of 이항관계,binary_relation only? QQQ) ... see also https://en.wiktionary.org/wiki/reflexive } 관계,relation
} // reflexive relation Ggl:reflexive relation
ⓑ antisymmetric relation = antisymmetric_relation =,antisymmetric_relation . antisymmetric_relation
ⓒ transitive relation = transitive_relation =,transitive_relation . transitive_relation
}






2. autogeninterwikis

KmsE:partial order = https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=partial order
{2023-12-04
partial order 반순서, 부분순서
partial ordered set 반순서집합, 부분순서집합
partial ordering 반순서, 부분순서
partial ordering relation 반순서관계, 부분순서관계
strict partial order 순부분순서
}






WpJa:


3. wikiadmin

2023-12-04 Page name via KMS. 저기 반순서도 번역어로 제시되었으나, 반-은 anti-, half- 의미가 강해서 부분순서가 좋겠다.