差分

'''集合'''(set)とは「ものの集まり」を意味している。この集められる対象となる「もの」を集合の要素あるいは単に'''元'''(element)という。(以下、元で統一する。)

集合を$$X$$、$$X$$の元を$$x$$としたとき、$$x$$ が$$X$$の元であることを、$$x \in X$$ 、あるいは$$x$$が$$X$$の元でないことを、$$x \notin X$$と表し、こうした集合の元と、元が含まれる集合との関係を帰属関係という。