• 2つの集合 に対して、 のすべての要素 の要素でもあるとき、部分集合 である