Ciro Santilli $$ Sponsor Ciro $$ 中国独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱
🔗

Set (mathematics)

| nosplit | ↑ parent "Formalization of Mathematics" | words: 86 | descendant words: 188 | descendants: 2
🔗
🔗
Intuitively: unordered container where all the values are unique, just like C++ std::set.
🔗
More precisely for set theory formalization of Mathematics:
  • everything is a set, including the elements of sets
  • string manipulation wise:
    • {} is an empty set. The natural number 0 is defined as {} as well.
    • {{}} is a set that contains an empty set
    • {{}, {{}}} is a set that contains two sets: {} and {{}}
    • {{}, {}} is not well formed, because it contains {} twice
🔗
🔗

Ancestors

🔗