INCLUSIÓN
El término ‘inclusión’ es usado en lógica principalmente en dos respectos.
En el álgebra de clases se dice que una clase A está incluida en una clase B, cuando todos los miembros de A son miembros de B. El símbolo de inclusión es ‘⊂’, de modo que ‘A ⊂ B’ se lee ‘La clase A está incluida en la clase B’. Ejemplo de inclusión de clases es: ‘La clase de los cocodrilos está incluida en la clase de los reptiles anfibios’. No debe confundirse ‘⊂’