Theory of proveit.logic.sets.functions¶

Provide description here.

import proveit
%theory # toggles between interactive and static modes

images	An image is a set obtained from applying a function to the elements of another set.
injections	An injection is a 1-to-1 function. Distinct elements map distinctly.
surjections	A surjection is an onto function. Its image covers the codomain.
bijections	A bijection is a 1-to-1 and onto function.