属するモノは1と2である。\{1,2,4\}\]である。(具体的には4が属していない)。\{1,2\}\]と表す。見落としがちな部分集合この定義通りにとらえれば、部分集合について次のことが言える。x$)」という状況は起こりえないからである。\emptyset&\end{array}\]である。同じ集合同士でもこの関係は成立する。このことは等しいとは何かを規定する外延性の公理と部分集合の定義をよく見比べるとわかる。実際、外延性の公理に書いてあることを「部分集合」という言葉を使って読み替えると次のようになる。