A collection of well defined elements.
Any set got from another set including empty and thewhole set.