包含（ロジック）

論理学と数学において、包含とは、あるオブジェクトのすべての内容が2番目のオブジェクトにも含まれるという概念である。^[1]

例えば、mとnが2つの論理行列である場合、

${\displaystyle m\subset n\quad {\text{when}}\quad \forall i,j\quad m_{ij}=1\implies n_{ij}=1.}$

包括を表す現代の記号は、ジェルゴンヌ（1816）に初めて登場する。ジェルゴンヌは、包括を、ある考えが別の考えを「含む」、または別の考えに「含まれる」ことと定義し、これを逆さまの文字「C」で表現した。 1870年にピアースはこれを明確に表現し、包括は平等よりも広い概念であり、したがって論理的に単純であると主張した。^[2] シュレーダー（フレーゲとも）は、同じ概念を「従属」と呼んでいる。^[3]