論理と集合

集合について

所属するかどうかが明確に定まっているものの集まりのこと。［記号］集合 $A$ に $x$ が属すことを $x \in A$ とかく, $x$ は $A$ の要素（元）という. 集合 $A$ に $x$ が属さないことを $x \not\in A$ とかく.