공집합,empty_set

pagename 빈집합으로 바꿀까.. - 이때는 Ndict:비공집합 WtEn:nonempty_set Ggl:define: nonempty set 의 번역도 생각해봐야 함 - 비빈집합(x 너무 이상) 안빈집합? 아니빈집합? 비지않은집합 (??)
2023-11-21 용어를 만들려면 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.

[edit]

기타

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

[edit]

비슷한. 관계?

트리,tree에선 node가 하나도 없는 트리를 정의함 - empty_tree
empty_tree WtEn:empty_tree ?
{
빈트리
공트리
...??


... Google:empty.tree
}

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

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


[edit]

Twins



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

작성중. 거기에추가.


mklink
nothing
none
emptiness? { 이 페이지가 필요? 암튼 rel. void, nothing
KmsE:emptiness x
KmsE:empt

WtEn:emptiness
....
2023-12-17 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