真部分集合 (しんぶぶんしゅうごう)
部分集合の定義より A ⊂ A {\displaystyle A\subset A} であるため、 B ⊂ A {\displaystyle B\subset A} のとき A = B {\displaystyle A=B} の場合を排除するために用いる。 B ⊊ A {\displaystyle B\subsetneq A} 若しくは B ⫋ A {\displaystyle B\subsetneqq A} と表す。