何を拡大と捉えているかも不明
代表元との一致する範囲[d,1]の前の部分をかな？下らない
[0,1]上の関数の１の近傍での同値類の定義がgermの定義と同じと理解できていないのです
ちなみにgermはその同値類のこと