서수, 순서수, 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로 한정하기 위해