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