Во логиката и математиката, вклученоста е концепт дека сите содржини на еден предмет се исто така содржани во втор предмет.
На пример, ако m и n се две логички матрици, тогаш
Современиот симбол за вклучување најпрво се појавува кај Жергон (1816), кој ја дефинира како една идеја која „содржи“ или е „содржана“ од друга, користејќи ја задната буква „C“ за да го изрази ова. Пирс ова го артикулирал јасно во 1870 година, тврдејќи исто така дека вклучувањето е поширок концепт од еднаквоста, а со тоа и логично поедноставно."Descr. of a notation", CP III 28. Шродер (исто така Фреге) го нарекува истиот концепт „потчинување“.Vorlesungen I., 127.
Наводи
Категорија:Логика Категорија:Историја на логиката