Infinitely More

Infinitely More

Share this post

Infinitely More
Infinitely More
Functions
Copy link
Facebook
Email
Notes
More
A Panorama of Logic

Functions

Functions, injections, surjections, bijections, one-to-one, onto, partial functions, total functions, compositions of functions, compositions of relations, isomorphisms

Joel David Hamkins's avatar
Joel David Hamkins
Nov 18, 2023
∙ Paid
7

Share this post

Infinitely More
Infinitely More
Functions
Copy link
Facebook
Email
Notes
More
3
1
Share

What is a function, precisely? Well, the essential property of functions is that for every suitable choice of input object, the function determines a corresponding output object, the value of the function on that input. So a function would seem to be a relation of a certain kind, relating the input objects to their output values. Indeed, we may simply define a function to be a special kind of binary relation, a functional relation, which means:

Keep reading with a 7-day free trial

Subscribe to Infinitely More to keep reading this post and get 7 days of free access to the full post archives.

Already a paid subscriber? Sign in
© 2025 Joel David Hamkins
Privacy ∙ Terms ∙ Collection notice
Start writingGet the app
Substack is the home for great culture

Share

Copy link
Facebook
Email
Notes
More