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 | 457, 3k, 73
- Mathematics | 17, 34k, 763
- Ciro Santilli's Homepage | 262, 238k, 4k

- Algebraic structure | 69, 278, 7
- Function | 24, 1k, 27
- Ring | 276, 1k, 13