EDB — 0H0

Exercises

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