[0GZ]Verificate che nelle definizioni [0GX]↺↻ e [0GY]↺↻ potete equivalentemente usare, al posto degli intorni \(U\) di \(x_ 0\), gli intorni aperti \(U\) di \(x_ 0\).