Включение (логика)

В логике и математике — это концепция , включение согласно которой все содержимое одного объекта также содержится внутри второго объекта.

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

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

Современный символ включения впервые появляется у Жергонна (1816), который определяет его как одну идею, «содержащую» или «содержащуюся» в другой, используя для этого обратную букву «С». Пирс ясно сформулировал это в 1870 году, утверждая также, что инклюзивность является более широкой концепцией, чем равенство, и, следовательно, логически более простой. Шредер (также Фреге ) называет ту же концепцию «подчинением».