Skip to main content
Engineering LibreTexts

4: Sets, Functions, and Relations

  • Page ID
    9685
  • We deal with the complexity of the world by putting things into categories. There are not just hordes of individual creatures. There are dogs, cats, elephants, and mice. There are mammals, insects, and fish. Animals, vegetables, and minerals. Solids, liquids, and gases. Things that are red. Big cities. Pleasant memories.... Categories build on categories. They are the subject and the substance of thought. In mathematics, which operates in its own abstract and rigorous world, categories are modelled by sets . A set is just a collection of elements. Along with logic, sets form the ‘foundation’ of mathematics, just as categories are part of the foundation of day-to- day thought. In this chapter, we study sets and relationships among sets. And, yes, that means we’ll prove theorems about sets!