EDB — 0GZ

[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$.