集合と元

集合とは、ある対象 $x$ を持ってきたときに「$x$ がそれに属するか属さないか」が一意に定まるような、ものの集まりです。$x$ が集合 $A$ に属することを $x \in A$ と書き、$x$ を $A$ の元（または要素）といいます。属さないことは $x \notin A$ と書きます。