ABSTRACT
The idea of a set is something that is fundamental to modern software engineering, and we hope to convince you of this fact over the next four chapters. Mathematicians have found set theory to be a particularly fruitful area of research, but we shall be interested in it only insofar as it helps us to model software systems and to reason about them.
