[0GZ]Check that in the definitions [0GX]↺↻ and [0GY]↺↻ you can equivalently use, instead of the neighborhoods \(U\) of \(x_ 0\), the open neighborhoods \(U\) of \(x_ 0\).
