部分集合
A が B の部分集合であることを A ⊆ B で表し、A が B の真部分集合であることを A ⊂ B で表した。大小関係の不等式において不等号を
x ≤ y かつ x ≠ y のとき x < y と書く
とする記法に合わせて、包含関係においても
A ⊆ B かつ A ≠ B のとき A ⊂ B と書く
とする記法は自然である。しかし、これとは異なる流儀もいくつか存在し、統一されていない。例えば、A が B の部分集合であることを A ⊂ B で表し、A が B の真部分集合であることを A ⊊ B で表すという流儀がある。他にも、部分集合には ⊆ を用い、真部分集合には ⊂ かつ ≠ を用いることもある。真部分集合であることを明示できる ⊊ という記号を用意する時もある。真部分集合であることに言及する箇所が少なく煩雑にならなければ、混乱をさけるために逐一
A ⊆ B かつ A ≠ B
A ⊂ B かつ A ≠ B
のように「かつ A ≠ B 」という条件を明記する場合もある。