Category:Real Functions

From ProofWiki
Jump to navigation Jump to search

This category contains results about Real Functions.
Definitions specific to this category can be found in Definitions/Real Functions.

A real function is a mapping or function whose domain and codomain are subsets of the set of real numbers $\R$.