ABBAGNANO, Nicola. Dicionário de Filosofia. São Paulo: Martins Fontes, 2007. p. 549

"Na Lógica das classes, a relação de Inclusão entre duas classes A e P (símbolo "a z> p") subsiste quando todos os elementos da classe a pertencem também à classe P, mas não necessariamente o inverso (a Inclusão é reflexiva e transitiva, mas não simétrica)."