#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 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$

[[원소,element]]를 가지지 않은 [[집합,set]]. 원소의 개수가 [[영,zero]]인 집합.

공집합은 모든 집합의 [[부분집합,subset]].

공집합이 아닌 집합은 [[비공집합,nonempty_set]]. (Opp.)

공집합의 complement는([[여집합,complement]]은) [[전체집합,universal_set]].

= 기타 =
null set이란 말은 대개 empty set과 같지만, 측도론에서 empty set과 다를 수 있다 함. (wpen)

= 비슷한. 관계? =
[[트리,tree]]에선 node가 하나도 없는 트리를 정의함 - [[empty_tree]]
[[empty_tree]] WtEn:empty_tree ?
{
빈트리
공트리
...??

[[트리,tree]]

... Google:empty.tree
}

[[empty_string]] = [[null_string]] WtEn:empty_string ? WtEn:null_string ?
{
공문자열
빈문자열
널문자열
... 중에?

기호 ε
λ도? chk
ε λ 유래? qqq

[[문자열,string]]인데
 * [[길이,length]]가/[[크기,size]]가 0인
 * [[문자,character]]가/[[기호,symbol]]가/[[RR:심벌,symbol]]이 없는

... Google:empty.string
}

= 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
[[WpKo:공집합]]
[[WpEn:Empty_set]]
[[https://terms.naver.com/entry.naver?docId=3338016&cid=47324&categoryId=47324 수학백과: 공집합]] (easy)
[[Libre:공집합]]

http://cantorsattic.info/Empty_set
http://oeis.org/wiki/Empty_set (stub, [[Date(2022-03-12T16:58:06)]])
https://ncatlab.org/nlab/show/empty+set
https://encyclopediaofmath.org/wiki/Empty_set
https://nuriwiki.net/wiki/공집합

----
[[null_set]] WtEn: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]]
https://everything2.com/title/null+set

작성중. 거기에추가.

Google:null+set
}

mklink
[[nothing]]
[[none]]
[[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]]