functions and relations as sets


Ordered pairs, relations, and functions can all be defined in terms of sets. This is part of why set theory is such a powerful framework in the foundations of mathematics.


This concept has the prerequisites:


  • Define ordered pairs, functions, and relations in terms of sets
  • Show that the definitions correspond with our intuitions for how these objects should behave

Core resources (read/watch one of the following)


Stanford CS103: Mathematical Foundations of Computing (2013)


See also

-No Additional Notes-