We extend to the whole class of hyperarithmetical open sets a result from 8] on the separation property, as deened in 1], of some classes of arithmetical open sets. As we do this, we slightly generalize a result from 11] about the position of arithmetical points. We also restate founda-tional connections between language theoretic separation, test equivalence, as deened in 4] over recursive tra...