[see also: precise
These results therefore describe the very close connection between the method of encoding and the structures we are aiming to classify.
By its very definition, f is continuous.
Finally, (d) is clear from the very last statement of Theorem 4.