⊆は＝を排除してないんだからいいんじゃないの。