真部分集合
しんぶぶんしゅうごう proper subset