「用語ペアの関係性」の続き。 ⊆： 包含的 ⊆→ ： 規準的埋め込み可能 ⊥： 排他的 ∪： 総称 環、可換環、非可換環 用法 1： 環 ＝ 可換環 ⊆ 非可換環 用法 2： 可換環 ⊆ 非可換環 ＝環 用法 3： 可換環 ⊥ 非可換環、環 ＝ 可換環∪非可換環 数、単項式、多項式…

形容詞を 原子＝基本＝単純 として使おうと思っても： 原子論理式 ＝ 基本論理式 ＝ 単純論理式 ： OK 原子定理 ＝ 基本定理 ＝ 単純定理 ： 定理という名詞の意味から、基本定理、単純定理は別な連想が働く。 同義語扱いを増やすと、区別したいときに困る。…