もしかして「A⊂B」が「x∈Aならばx∈B」という意味だってご存知ない?