← 検索に戻る

類別の意味 | Babel Free

名詞

定義

全体を種類により幾つかに分けること。
集合を同値関係によって同値類に分けること。

関連項目

類別詞類友類型類型的類型論類家