部分集合の定義