⊂って真部分集合の記号じゃなかったっけ?
部分集合は⊆じゃなかった?