[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.
A cycle may very well be represented as a sum of paths that are not closed.