Composite of increasing functions is increasing

Statement

Statement for two functions

Suppose $f$ and $g$ are both functions of one variable that are increasing functions on their respective domains. Consider the composite of two functions $f\circ g$. This is also an increasing function on its domain.

Note that the statement makes no assumptions about the continuity or differentiability of the functions or even the nature of their domains. In fact, we do not even require that the domains and ranges be subsets of the real numbers, but only require that they be totally ordered sets so that the notion of increasing makes sense.

Statement for multiple functions

Fill this in later

Proof

Fill this in later