IV.D215 — Clopen cylinder at depth n

A clopen cylinder at primorial depth n is C_{n,a} = {x in Z-hat : x equiv a mod p_n#} for a in Z/p_n#Z; there are exactly p_n# such cylinders partitioning Z-hat, each simultaneously open and closed in the profinite topology.