例によってAIに
「ε-Nもε-δも、終域から定義域を制限する逆転があるけど、これって本質的？」
って尋ねたら
「いかにも　位相の極意は反変性と心得よ」（意訳）
と返してきた（笑）