Вклученост (логика)

Во логиката и математиката, вклученоста е концепт дека сите содржини на еден предмет се исто така содржани во втор предмет.

На пример, ако m и n се две логички матрици, тогаш

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

Современиот симбол за вклучување најпрво се појавува кај Жергон (1816), кој ја дефинира како една идеја која „содржи“ или е „содржана“ од друга, користејќи ја задната буква „C“ за да го изрази ова. Пирс ова го артикулирал јасно во 1870 година, тврдејќи исто така дека вклучувањето е поширок концепт од еднаквоста, а со тоа и логично поедноставно. Шродер (исто така Фреге) го нарекува истиот концепт „потчинување“.