A class of functions
of functions from a set
to a set
is said to separate points if, for for distinct points
a function
exists such that
To show this, consider
Take
and
A class of functionsof functions from a setto a setis said to separate points if, for for distinct pointsa functionexists such that
To show this, consider
Takeand