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
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