previous up next
Go backward to 6 More on Functions
Go up to Top
Go forward to A Defining New Notions
RISC-Linz logo

7 More on Relations

In Chapter Sets, Relations, and Functions, we have introduced relations as subsets of Cartesian products. In this chapter, we focus on binary relations and demonstrate some important applications of this notion. First, we introduce equivalence relations as a tool to partition sets into classes and show how in this way modular arithmetic and various number domains can be defined. Then we deal with relations that help us to impose order structures on sets; finally we show how graphs can be formalized as binary relations.

  • 7.1 Equivalence Relations and Partitions
  • 7.2 Order Relations
  • 7.3 Graphs

  • Author: Wolfgang Schreiner
    Last Modification: October 4, 1999

    previous up next