Ciro Santilli OurBigBook.com $£ Sponsor €¥ 中国独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱
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

  1. Formalization of mathematics
  2. Area of mathematics
  3. Mathematics
  4. Ciro Santilli's Homepage

Synonyms