Difference between r1.27 and the current
@@ -1,10 +1,13 @@
''pagename 빈집합으로 바꿀까..'' - 이때는 Ndict:비공집합 WtEn:nonempty_set Ggl:"define: nonempty set" 의 번역도 생각해봐야 함 - 비빈집합(x) 안빈집합? 아니빈집합? 비지않은집합 (??)
#noindex
''pagename 빈집합으로 바꿀까..'' - 이때는 Ndict:비공집합 WtEn:nonempty_set Ggl:"define: nonempty set" 의 번역도 생각해봐야 함 - 비빈집합(x 너무 이상) 안빈집합? 아니빈집합? 비지않은집합 (??)
[[Date(2023-11-21T00:45:30)]] 용어를 만들려면 nonempty_set{WtEn:nonempty_set }과 inhabited_set{ inhabited set WtEn:inhabited_set Ggl:"definition of inhabited set" }이 다른 것임을 고려하고, 거기에 NdEn:inhabited 의 번역까지 생각해봐야.
기호:* {}
* ∅ U+2205
* ∅ U+2205 WtEn:∅
* TeX \varnothing (not supported by mimeTeX) - amssymb 필요* TeX \emptyset: $\emptyset$
기타 (정식은 아니고 비슷한, 사용 금지)
* Ø 북유럽에서 쓰이는 라틴알파벳([[로마자,Latin_alphabet]]) O의 변형 WtEn:Ø
* TeX \cancel\bigcirc $\cancel\bigcirc$* TeX \not\bigcirc $\not\bigcirc$
* TeX \oslash : $\oslash$
@@ -22,7 +25,7 @@
= 비슷한. 관계? =
[[트리,tree]]에선 node가 하나도 없는 트리를 정의함 - [[empty_tree]]
[[empty_tree]]
[[empty_tree]] WtEn:empty_tree ?
{빈트리
공트리
@@ -33,7 +36,7 @@
... Google:empty.tree}
[[empty_string]] = [[null_string]]
[[empty_string]] = [[null_string]] WtEn:empty_string ? WtEn:null_string ?
{공문자열
빈문자열
@@ -41,9 +44,11 @@
... 중에?기호 ε
λ도? chk
ε λ 유래? qqq
[[문자열,string]]인데
* [[길이,length]]가/[[ 0인
* [[길이,length]]가/[[크기,size]]가 0인
* [[문자,character]]가/[[기호,symbol]]가/[[RR:심벌,symbol]]이 없는... Google:empty.string
@@ -66,7 +71,7 @@
https://nuriwiki.net/wiki/공집합----
[[null_set]]
[[null_set]] WtEn:null_set ?
{'''empty set'''과 항상 동일한지 chk.
-> 아님. 공집합은 [[집합론,set_theory]], null set은 [[측도,measure]] [[측도론,measure_theory]]쪽 개념. [[공집합,empty_set]]은 항상 null_set 이지만 그 [[역,converse]]은 not true.
@@ -83,9 +88,23 @@
mklink[[nothing]]
[[none]]
[[emptiness]]? { 이 페이지가 필요? 암튼 rel. [[void]], [[nothing]] }
[[emptiness]]? { 이 페이지가 필요? 암튼 rel. [[void]], [[nothing]]
KmsE:emptiness x
KmsE:empt
WtEn:emptiness
....
[[Date(2023-12-17T12:17:49)]] Sub: [[empty_type]] {
'''empty type'''
WpEn:Empty_type
"empty type or absurd type ... may be defined as the nullary coproduct (i.e. disjoint sum of no types)"
Up: [[타입,type]] [[type_theory]]
"empty type"
Ggl:"empty type"
} // empty type
} // emptiness
----
Up: [[집합,set]] > [[유한집합,finite_set]]
pagename 빈집합으로 바꿀까.. - 이때는 비공집합 nonempty_set define: nonempty set 의 번역도 생각해봐야 함 - 비빈집합(x 너무 이상) 안빈집합? 아니빈집합? 비지않은집합 (??)
2023-11-21 용어를 만들려면 nonempty_set{nonempty_set }과 inhabited_set{ inhabited set inhabited_set definition of inhabited set }이 다른 것임을 고려하고, 거기에 inhabited의 번역까지 생각해봐야.
기호:
2023-11-21 용어를 만들려면 nonempty_set{nonempty_set }과 inhabited_set{ inhabited set inhabited_set definition of inhabited set }이 다른 것임을 고려하고, 거기에 inhabited의 번역까지 생각해봐야.
기호:
- {}
- ∅ U+2205 ∅
- TeX \varnothing (not supported by mimeTeX) - amssymb 필요
- TeX \emptyset:
- Ø 북유럽에서 쓰이는 라틴알파벳(로마자,Latin_alphabet) O의 변형 Ø
- TeX \cancel\bigcirc
- TeX \not\bigcirc
- TeX \oslash :
공집합은 모든 집합의 부분집합,subset.
공집합이 아닌 집합은 비공집합,nonempty_set. (Opp.)
Twins ¶
https://planetmath.org/emptyset
https://mathworld.wolfram.com/EmptySet.html
https://proofwiki.org/wiki/Definition:Empty_Set
https://proofwiki.org/wiki/Definition:Non-Empty_Set
공집합
Empty_set
수학백과: 공집합 (easy)
공집합
https://mathworld.wolfram.com/EmptySet.html
https://proofwiki.org/wiki/Definition:Empty_Set
https://proofwiki.org/wiki/Definition:Non-Empty_Set
공집합
Empty_set
수학백과: 공집합 (easy)
공집합
http://cantorsattic.info/Empty_set
http://oeis.org/wiki/Empty_set (stub, 2022-03-13)
https://ncatlab.org/nlab/show/empty set
https://encyclopediaofmath.org/wiki/Empty_set
https://nuriwiki.net/wiki/공집합
http://oeis.org/wiki/Empty_set (stub, 2022-03-13)
https://ncatlab.org/nlab/show/empty set
https://encyclopediaofmath.org/wiki/Empty_set
https://nuriwiki.net/wiki/공집합
null_set null_set ?
{
empty set과 항상 동일한지 chk.
https://everything2.com/title/null set
{
empty set과 항상 동일한지 chk.
-> 아님. 공집합은 집합론,set_theory, null set은 측도,measure 측도론,measure_theory쪽 개념. 공집합,empty_set은 항상 null_set 이지만 그 역,converse은 not true.
다만 null set을 empty set과 동의어로 쓰는 경우가 없진 않은 듯? (중요한 건 아니지만..)
널,null 집합,set다만 null set을 empty set과 동의어로 쓰는 경우가 없진 않은 듯? (중요한 건 아니지만..)
https://everything2.com/title/null set
작성중. 거기에추가.
mklink
nothing
none
emptiness? { 이 페이지가 필요? 암튼 rel. void, nothing
nothing
none
emptiness? { 이 페이지가 필요? 암튼 rel. void, nothing
emptiness x
empt
emptiness
....
2023-12-17 Sub: empty_type {
empty type
Empty_type
"empty type"
empty type
} // empty type
} // emptiness
empt
emptiness
....
2023-12-17 Sub: empty_type {
empty type
Empty_type
"empty type or absurd type ... may be defined as the nullary coproduct (i.e. disjoint sum of no types)"
Up: 타입,type type_theory"empty type"
empty type
} // empty type
} // emptiness