Ciro Santilli
🔗
🔗
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

🔗