>>951
0を除外してるようだが少なくとも杉浦光夫の解析入門の定義では除外していない。
それ解析概論の定義じゃないか?