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

- Formalization of Mathematics | 439, 818, 20
- Mathematics | 17, 10k, 260
- Ciro Santilli's Homepage | 238, 154k, 2k

- Function | 25, 77, 2