「クラス (集合論)」の版間の差分

[[集合論]]及びその応用としての[[数学]]における'''クラス'''または'''類'''（るい、{{lang-en-short|''class''}}）は、[[集合]](または、しばしば別の数学的対象)の集まりで、それに属する全ての[[元 (数学)|元]]が共通にもつ性質によって紛れなく定義されるものである。「クラス」の正確な定義は、議論の基礎となる文脈に依存する。例えば、[[公理的集合論|ツエェルメロ＝フレンケル集合論]] (ZF) ではクラスは厳密には存在しないが、他の集合論（たとえば、[[ノイマン＝ベルナイス＝ゲーデル集合論]] (NBG)）では、「クラス」の概念は公理化されている（NBG の例だと、別の量 (entity) の要素にならないような量としてクラスが定義される）。