Implicação lógica

P implica Q significa que A está contida em B ou melhor a inclusão entre conjuntos.