Difference between r1.1 and the current
@@ -2,38 +2,44 @@
'''서수, 순서수, ordinal number''', (줄여서) '''ordinal'''표를 그리면 대충 이거? 그냥 느낌으로 적은 게 많으므로 rechk
|| ||[[수,number]] ||ex. ||? (del ok) ||rel? ||
|| ||[[수,number]] ||ex. (0에서 4까지) ||? (del ok) ||rel? ||
||[[순서,order]] ||'''서수,ordinal_number''' ||zeroth, first, second, third, fourth, … ||WtEn:ordinality (????) Ggl:ordinality ||series/serial/sequence, predecessor/successor, ....? [[인덱스,index]]? ||||개수, 세기/셈/counting, ||[[기수,cardinal_number]] ||zero, one, two, three, four, … ||WtEn:cardinality Ggl:"cardinality -database" ||size/length ?? [[크기,size]] [[길이,length]] ||
||개수, 세기/셈/counting, ||[[기수,cardinal_number]] ||zero, one, two, three, four, … ||WtEn:cardinality Ggl:"cardinality -database"[* DB에서 많이 쓰는 용어라, discrete math, set theory로 한정하기 위해] ||size/length ?? [[크기,size]] [[길이,length]] [[측도,measure]] ...? ||
MKL
[[순서론,order_theory]]
[[자연수,natural_number]]
[[집합론,set_theory]]
[[기수,cardinal_number]]
Cmp [[기수,cardinal_number]]
{[[counting]]
[[가산성,countability]]
[[cardinality]]
}----
'''서수,ordinal_number'''의 [[구성,construction]]([[자연수,natural_number]]의 구성도 마찬가지, see also [[집합,set#s-4]])
----
[[WtEn:ordinal_number]] = https://en.wiktionary.org/wiki/ordinal_number
[[수열,sequence]]에서 상대적 [[위치,position]]''(ie [[순서,order]])''
3. (set theory) formally, the [[순서형,order_type]] of some [[정렬집합,well-ordered_set]] of some cardinality a, which represents an [[동치류,equivalence_class]] of [[well-ordered_set]]s (exactly those of cardinality a) under the [[동치관계,equivalence_relation]] "existence of an order-preserving bijection". // [[전단사,bijection]]
----[[https://terms.naver.com/entry.naver?docId=3405168&cid=47324&categoryId=47324 수학백과: 서수]]
mentions:
유한서수 finite ordinal (number)?
무한서수 infinite ordinal ?
중 가장 작은 것은 $\omega$
// 위 둘 not in kms, via KmsK:한서수
정렬집합 - KmsK:정렬집합 보면 [[well-ordered_set]] WtEn:well-ordered_set 의 번역임. [[정렬집합,well-ordered_set]] { '''well-ordered set''' 정렬집합(KMS) "well-ordered set" Ggl:"well-ordered set" } 다음서수(successor ordinal)
극한서수(limit ordinal)
다음서수(successor ordinal) // KmsE:"successor ordinal" x ... try KmsE:successor and Ggl:"successor ordinal"
극한서수(limit ordinal) // pagename ok, via KmsE:"limit ordinal" [[극한서수,limit_ordinal]] 극한서수limit ordinal WtEn:limit_ordinal
https://ko.wikipedia.org/wiki/순서수----
wikiadmin
KmsK:서수
KmsE:ordinal
tmp NN:"ordinal number" Bing:"ordinal number"
Up: [[수,number]]
서수, 순서수, ordinal number, (줄여서) ordinal
표를 그리면 대충 이거? 그냥 느낌으로 적은 게 많으므로 rechk
MKL
순서론,order_theory
자연수,natural_number
집합론,set_theory
Cmp 기수,cardinal_number
{
counting
가산성,countability
cardinality
}
수,number | ex. (0에서 4까지) | ? (del ok) | rel? | |
순서,order | 서수,ordinal_number | zeroth, first, second, third, fourth, … | ordinality (????) ordinality | series/serial/sequence, predecessor/successor, ....? 인덱스,index? |
개수, 세기/셈/counting, | 기수,cardinal_number | zero, one, two, three, four, … | cardinality cardinality -database[1] | size/length ?? 크기,size 길이,length 측도,measure ...? |
MKL
순서론,order_theory
자연수,natural_number
집합론,set_theory
Cmp 기수,cardinal_number
{
counting
가산성,countability
cardinality
}
ordinal_number = https://en.wiktionary.org/wiki/ordinal_number
수열,sequence에서 상대적 위치,position(ie 순서,order)
3. (set theory) formally, the 순서형,order_type of some 정렬집합,well-ordered_set of some cardinality a, which represents an 동치류,equivalence_class of well-ordered_sets (exactly those of cardinality a) under the 동치관계,equivalence_relation "existence of an order-preserving bijection". // 전단사,bijection
3. (set theory) formally, the 순서형,order_type of some 정렬집합,well-ordered_set of some cardinality a, which represents an 동치류,equivalence_class of well-ordered_sets (exactly those of cardinality a) under the 동치관계,equivalence_relation "existence of an order-preserving bijection". // 전단사,bijection
수학백과: 서수
mentions:
유한서수 finite ordinal (number)?
무한서수 infinite ordinal ?
정렬집합 - 정렬집합보면 well-ordered_set well-ordered_set의 번역임. 정렬집합,well-ordered_set { well-ordered set 정렬집합(KMS) "well-ordered set" well-ordered set }
다음서수(successor ordinal) // successor ordinal x ... try successor and successor ordinal
극한서수(limit ordinal) // pagename ok, via limit ordinal 극한서수,limit_ordinal 극한서수limit ordinal limit_ordinal
https://ko.wikipedia.org/wiki/순서수유한서수 finite ordinal (number)?
무한서수 infinite ordinal ?
중 가장 작은 것은
// 위 둘 not in kms, via 한서수정렬집합 - 정렬집합보면 well-ordered_set well-ordered_set의 번역임. 정렬집합,well-ordered_set { well-ordered set 정렬집합(KMS) "well-ordered set" well-ordered set }
다음서수(successor ordinal) // successor ordinal x ... try successor and successor ordinal
극한서수(limit ordinal) // pagename ok, via limit ordinal 극한서수,limit_ordinal 극한서수limit ordinal limit_ordinal
Up: 수,number
----
- [1] DB에서 많이 쓰는 용어라, discrete math, set theory로 한정하기 위해