>>645
不変表明は、訳が難しい(辞書的な定訳が無い)ので、それでも良いと思われ。
抽象は、用語化しているので、不自然かどうかは気にすんな。