Difference between r1.50 and the current
@@ -27,7 +27,7 @@
순서를 가진 것 ~= [[인덱스,index]]를 가진 것
----
Sub:
ascending order / increasing order
Twins:
----
Sub:
[[조밀순서,dense_order]] - [[조밀성,density]]
ascending_order = increasing_order // WtEn:ascending_order ? WtEn:increasing_order ?ascending order / increasing order
Twins:
순서,order VG: 순서,order x
기호
순서론,order_theory에선
≺
https://math.stackexchange.com/questions/1614875/what-does-≼-or-≺-mean
https://en.wikipedia.org/wiki/Ordered_set_operators
(일반적인 수학에서 크기를 비교하는) < ...를 쓰기도 하고
휘어진 ≺ .... 를 쓰기도 한다. (이하 8개)
tmp bmks todel ... via 휘어진 ≺ .... 를 쓰기도 한다. (이하 8개)
≺
≺ U+227A PRECEDES
≻
≻ U+227B SUCCEEDS
≼
≼ U+227C PRECEDES OR EQUAL TO { precedes or equal to }
≽
≽ U+227D SUCCEEDS OR EQUAL TO
and
≾
≾ U+227E PRECEDES OR EQUIVALENT TO
≿
≿ U+227F SUCCEEDS OR EQUIVALENT TO
⊀
⊀ U+2280 DOES NOT PRECEDE
⊁
⊁ U+2281 DOES NOT SUCCEED
...
TeX로는 https://www.access2science.com/latex/Binary.html 참조.
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
≻
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
≼
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
≽
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
and
≾
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
≿
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
⊀
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
⊁
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
...
TeX로는 https://www.access2science.com/latex/Binary.html 참조.
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
https://math.stackexchange.com/questions/1614875/what-does-≼-or-≺-mean
https://en.wikipedia.org/wiki/Ordered_set_operators
밀접:
인덱스
순서를 가진 것 ~= 인덱스,index를 가진 것
Sub:
조밀순서,dense_order - 조밀성,density
ascending_order = increasing_order //
ascending_order ?
increasing_order ?
descending_order ?
order_isomorphism =,order_isomorphism . order_isomorphism
순서짝,ordered_pair =순서짝,ordered_pair =,ordered_pair 순서짝 ordered_pair //TOO//
{
순서쌍
{ as of 2023-10-04
ordered pair 순서쌍, 순서짝
unordered pair 무순서쌍, 순서없는 쌍
}
순서쌍
조밀순서,dense_order - 조밀성,density
ascending_order = increasing_order //
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
ascending order / increasing order
Twins:
https://oeis.org/wiki/Ascending_order
Up: ( increment - increment - 증가, 증분,increment , growth )
descending_order // Twins:
https://oeis.org/wiki/Ascending_order
( Redirected from https://oeis.org/wiki/Increasing_order )
mkl/cmp: increasing_sequence (curr at 시퀀스,sequence)Up: ( increment - increment - 증가, 증분,increment , growth )
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
descending order
Twins:
https://oeis.org/wiki/Descending_order
mkl/cmp: decreasing_sequence (curr at 시퀀스,sequence)
Up: ( decrement - decrement - 감소, ..., decay )
순서공리 (rename, 순서공리,order_axiom 순서공리)Twins:
https://oeis.org/wiki/Descending_order
mkl/cmp: decreasing_sequence (curr at 시퀀스,sequence)
Up: ( decrement - decrement - 감소, ..., decay )
order_isomorphism =,order_isomorphism . order_isomorphism
{
order isomorphism
순서동형사상
order isomorphic adj. 순서동형(인) ?? chk
순서동형
순서,order
동형사상,isomorphism
https://en.wikipedia.org/wiki/Order_isomorphism
순서동형
trans comfirmed via
순서동형 => "order isomorphism 순서동형사상"
order_isomorphism x 2024-01-24
} // order isomorphism
order isomorphism
순서쌍,ordered_pair =순서쌍,ordered_pair =,ordered_pair 순서쌍 ordered_pair //OR//order isomorphism
순서동형사상
order isomorphic adj. 순서동형(인) ?? chk
순서동형
순서,order
동형사상,isomorphism
https://en.wikipedia.org/wiki/Order_isomorphism
monotone_function = monotonic_function 의 일종
... ![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
trans comfirmed via
![KmsK: KmsK:](/wiki/imgs/interwiki/kmsk-16.png)
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
} // order isomorphism
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
순서짝,ordered_pair =순서짝,ordered_pair =,ordered_pair 순서짝 ordered_pair //TOO//
{
![KmsK: KmsK:](/wiki/imgs/interwiki/kmsk-16.png)
{ as of 2023-10-04
ordered pair 순서쌍, 순서짝
unordered pair 무순서쌍, 순서없는 쌍
}
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
![KmsE: KmsE:](/wiki/imgs/interwiki/kmse-16.png)
https://en.wiktionary.org/wiki/ordered_pair
// VG: 순서쌍,ordered_pair x
"ordered pair"
} // ordered pair 순서쌍/순서짝
순서관계,order_relation - 관계,relation ? 아님 순서가 곧 이항관계? ( Up: 이항관계,binary_relation? )
{w
order relation
순서관계
{w
order relation
순서관계
- ascending order
- descending order
{
/// 군,group 군론,group_theory에서의 order.
{
https://artofproblemsolving.com/wiki/index.php/Order_(group_theory)
}
{
![[https]](/wiki/imgs/https.png)
}
(수학 밖)
어순,word_order =어순,word_order =,word_order 어순 word_order ?
{
word_order
https://namu.wiki/w/어순
}
어순,word_order =어순,word_order =,word_order 어순 word_order ?
{
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
https://namu.wiki/w/어순
}
Contents
- 1. ordinal (number)
- 2. partial order, partially ordered set
- 3. total order, totally ordered set
- 4. well
- 5. lexicographic order
- 6. reverse lexicographic order
- 7. colexicographic, colexicographical order, colex order
- 8. preorder #preorder
- 9. pointwise order
- 10. order structure
- 11. alphabetical order
- 12. ADDHERE SUB
- 13. ADDHERE SUB
- 14. ADDHERE SUB
- 15. ADDHERE SUB
- 16. ADDHERE SUB
- 17. 같은 영단어 order의 다른 뜻
- 18. 비슷? / 비교
1. ordinal (number) ¶
2. partial order, partially ordered set ¶
Sub:
complete_partial_order
전순서 선형순서 ?
전순서 선형순서
전순서 선형순서
부분순서에, 임의의 두 원소가 비교가능하다는 조건까지 추가된 더 엄격한 순서? chk
완전부분순서 ?
완전부분순서
완전부분순서
algebraic_complete_partial_order { http://www.pls-lab.org/en/Algebraic_complete_partial_order }
total_order = linear_order![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Naver: Naver:](/wiki/imgs/interwiki/naver-16.png)
algebraic_complete_partial_order { http://www.pls-lab.org/en/Algebraic_complete_partial_order }
전순서 선형순서 ?
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Naver: Naver:](/wiki/imgs/interwiki/naver-16.png)
부분순서에, 임의의 두 원소가 비교가능하다는 조건까지 추가된 더 엄격한 순서? chk
부분순서집합,partially_ordered_set OR
부분순서집합,partially_ordered_set,poset
=부분순서집합,partially_ordered_set,poset =,partially_ordered_set =,poset . 부분순서집합 partially_ordered_set poset
{
partially_ordered_set = https://en.wiktionary.org/wiki/partially_ordered_set
poset = https://en.wiktionary.org/wiki/poset
부분순서집합,partially_ordered_set,poset
=부분순서집합,partially_ordered_set,poset =,partially_ordered_set =,poset . 부분순서집합 partially_ordered_set poset
{
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
Sub: complately_partially_ordered_set ? { https://en.wikipedia.org/wiki/Complete_partial_order }
https://artofproblemsolving.com/wiki/index.php/Partially_ordered_set
https://encyclopediaofmath.org/wiki/Partially_ordered_set
https://proofwiki.org/wiki/Definition:Partially_Ordered_Set
}
https://encyclopediaofmath.org/wiki/Partially_ordered_set
https://proofwiki.org/wiki/Definition:Partially_Ordered_Set
}
3. total order, totally ordered set ¶
전순서?
전체순서?
전체순서?
"is a partial_order in which any two elements are comparable"(we)
Sub:
strict_total_order
strict_linear_order
non-strict_total_order
non-strict_linear_order
see https://en.wikipedia.org/wiki/Total_order#Strict_and_non-strict_total_orders
strict_linear_order
non-strict_total_order
non-strict_linear_order
see https://en.wikipedia.org/wiki/Total_order#Strict_and_non-strict_total_orders
러스트,Rust API > trait
https://doc.rust-lang.org/std/cmp/trait.Ord.html
Trait for types that form a total order.
std::cmp::ord
https://doc.rust-lang.org/std/cmp/trait.Ord.html
Trait for types that form a total order.
totally_ordered_set
{
https://encyclopediaofmath.org/wiki/Totally_ordered_set - chain, linear order // 사슬,chain 선형순서,linear_order
https://proofwiki.org/wiki/Definition:Totally_Ordered_Set
}
{
https://encyclopediaofmath.org/wiki/Totally_ordered_set - chain, linear order // 사슬,chain 선형순서,linear_order
https://proofwiki.org/wiki/Definition:Totally_Ordered_Set
}
4.1.1. well-ordering principle ¶
well-ordering principle or well ordering principle
well-ordering_principle or well_ordering_principle
well-ordering_principle or well_ordering_principle
Twin
https://artofproblemsolving.com/wiki/index.php/Well_Ordering_Principle
"well ordering principle"
well ordering principle
"every nonempty subset of the positive integers $\displaystyle \mathbb{Z}^{+}$ contains a smallest element."
rel mathematical_induction ie 귀납,induction(of math)
...rel mathematical_induction ie 귀납,induction(of math)
"well ordering principle"
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
isa 원리,principle
4.1.2. well-ordering theorem ¶
well-ordering_theorem =,well-ordering_theorem =,well-ordering_theorem . well-ordering_theorem
well-ordering theorem
well-ordering theorem
https://en.wikipedia.org/wiki/Well-ordering_theorem
well-ordering theorem
"well-ordering theorem"
"the well-ordering theorem, also known as Zermelo's theorem, states that every set can be well-ordered."
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
"well-ordering theorem"
4.2. well-ordered set, woset ¶
well-ordered_set =,well-ordered_set =,well-ordered_set . well-ordered_set
well-ordered set
https://encyclopediaofmath.org/wiki/Well-ordered_set
{
이항관계,binary_relation ≤와 집합과 네 조건으로 정의함.
}
https://proofwiki.org/wiki/Definition:Well-Ordered_Set
(Redirected from Definition:Woset i.e. https://proofwiki.org/wiki/Definition:Woset)
well-ordered set
https://encyclopediaofmath.org/wiki/Well-ordered_set
{
이항관계,binary_relation ≤와 집합과 네 조건으로 정의함.
}
https://proofwiki.org/wiki/Definition:Well-Ordered_Set
(Redirected from Definition:Woset i.e. https://proofwiki.org/wiki/Definition:Woset)
8. preorder #preorder ¶
9. pointwise order ¶
at 2023-08-08
pointwise_order - none.
Pointwise_order - redir to
Pointwise#Pointwise_relations
pointwise order
pointwise
pointwise*
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
![NdEn: NdEn:](/wiki/imgs/interwiki/nden-16.png)
![NdEn: NdEn:](/wiki/imgs/interwiki/nden-16.png)
Up: pointwise
{
pointwise
Prefix for mathematical terms?
// kms pointwise : '점마다, 점별' ....https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=pointwise
pointwise
Cmp: piecewise
{
piecewise
// kms piecewise : 조각/조각마다/조각적 ...https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=piecewise
piecewise
// kms wise : https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=wise
.....
piecewise
wise
}
{
![Srch: Srch:](/wiki/imgs/interwiki/srch-16.png)
Prefix for mathematical terms?
// kms pointwise : '점마다, 점별' ....
![KmsE: KmsE:](/wiki/imgs/interwiki/kmse-16.png)
Cmp: piecewise
{
![Srch: Srch:](/wiki/imgs/interwiki/srch-16.png)
// kms piecewise : 조각/조각마다/조각적 ...
![KmsE: KmsE:](/wiki/imgs/interwiki/kmse-16.png)
// kms wise : https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=wise
.....
![KmsE: KmsE:](/wiki/imgs/interwiki/kmse-16.png)
![KmsE: KmsE:](/wiki/imgs/interwiki/kmse-16.png)
}
Sub:
pointwise_order =,pointwise_order . pointwise_order
{ pointwise order
pointwise+order
}
pointwise_relation =,pointwise_relation . pointwise_relation
{ pointwise relation
Pointwise#Pointwise_relations
pointwise+relation
}
pointwise_operation =,pointwise_operation . pointwise_operation
{
...
pointwise operation
pointwise operation
}
pointwise_order =,pointwise_order . pointwise_order
{ pointwise order
pointwise+order
}
pointwise_relation =,pointwise_relation . pointwise_relation
{ pointwise relation
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
pointwise+relation
}
pointwise_operation =,pointwise_operation . pointwise_operation
{
...
![Google: Google:](/wiki/imgs/interwiki/google-16.png)
![Naver: Naver:](/wiki/imgs/interwiki/naver-16.png)
}
10. order structure ¶
order structure
order_structure =,order_structure =,order_structure . order_structure
=순서구조,order_structure ? is a 구조,structure?
order_structure =,order_structure =,order_structure . order_structure
=순서구조,order_structure ? is a 구조,structure?