En lógica y matemáticas , la inclusión es el concepto de que todos los contenidos de un objeto también están contenidos dentro de un segundo objeto. [1]
Por ejemplo, si m y n son dos matrices lógicas , entonces
El símbolo moderno de inclusión aparece por primera vez en Gergonne (1816), quien la define como una idea que "contiene" o es "contenida" por otra, utilizando la letra "C" al revés para expresarlo. Peirce articuló esto claramente en 1870, argumentando también que la inclusión era un concepto más amplio que la igualdad y, por lo tanto, lógicamente más simple. [2] Schröder (también Frege ) llama al mismo concepto "subordinación". [3]
