>>657

あ、証明を読めば、定義できることも分かるようになっていました。

ただ、説明が明解とはいいがたいですね。