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