やはりこれは定義でも定理でもどっちとも言えるのかな。
提唱者の言うことが一番数学的な気がする。