>>42
既にご存じかもしれませんが、P=>QはP⊂Qですのでε-δとε近傍の関係がとれます。
まあ、後はε近傍はここでも（おおよそ一般でも）開集合ですので開集合系での定義になるのかと。