$B$ 以外の集合で $B$ の部分集合であるようなものは，$B$ の真部分集合（proper subset）といいます．
集合 $A$ が集合 $B$ の真部分集合（proper subset）であることを，\[A \subset B , B \supset A\]と表します．
Vita brevis, ars longa. Omnia vincit Amor.
