$B$ 以外の集合で $B$ の部分集合であるようなものは，$B$ の真部分集合（proper subset）といいます．
集合 $A$ が集合 $B$ の真部分集合（proper subset）であることを，\[A \subset B , B \supset A\]と表します．
Mathematics is the language with which God has written the universe.
