集合論では「ものの集まり」を「集合」という。
「もののあつまり」である集合をＭ、その集合Ｍの中に含まれるものを要素(element)という。
これは、次のように表される。
\[ａ \in Ｍ\]
\(\in\) という記号は、要素(element)の「e」あるいは、ギリシア語の「ε」に由来するとも言われる。
そのものの集まりである集合として集合Ｍと集合Ｎがあるとき、集合Ｍの中の１つ１つのもの（＝要素）が、集合Ｎの１つ１つに対応するとき、集合Ｍと集合Ｎは同じ大きさを持つという。
このとき、集合Ｍと集合Ｎは同じ濃度(cardinality)を持つという。
集合Ｎの要素が必ず集合Ｍの要素にもなっている場合は集合としてＮはＭに含まれるといい、ＮはＭの部分集合であるという。
\[Ｎ \subset Ｍ\]
