Chapter 5

Relations and Functions

Having developed some of the essentials about how proofs are planned and written, we are ready to begin exploring, from a more sophisticated perspective, certain fundamental mathematical ideas with which you are already familiar. In this chapter, we will broaden our understanding of the core concepts of relation and function to suit a more general mathematical outlook.

5.1    Relations

Questions to guide your reading of this section:

1.   How is the notion of ordered pair defined? When are two ordered pairs considered to be equal?

2.   What is meant by the Cartesian product X × Y of sets X and Y?

3.   What is meant by a relation? a relation on X × Y? a relation on X?

4.   What is meant by the domain of a relation? ...

Get A Transition to Mathematics with Proofs now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.