 Infinite path through a binary tree

An infinite path is a binary function all of whose finite prefixes belong to the tree. Its path space $[T]$ is closed in Cantor space, since failure is witnessed by one finite prefix outside $T$.