V.D339 — NF-Prefix Cylinder

For x in tau^3 and refinement depth n, the NF-prefix cylinder N_n(x) is the maximal clopen subset of tau^3 consisting of all points sharing the same length-n normal-form prefix as x.