• 2つの集合 に対して、部分集合であって、かつ が等しくないとき、真部分集合 という