[0H0] Check that in the definitions [0GX]↺↻ and [0GY]↺↻ you can equivalently use neighborhoods \(U\) of \(x_ 0\) chosen from a fixed fundamental system of neighborhoods.
