GeoGebra

Formal graph

This worksheet demonstrates how the formal definition of a graph as a subset of Euclidean space works under the composition of functions $f,g:[0,1]\to[0,1]$: