Para três conjuntos, A, B e C, não vazios, se A está contido em B e se C não contém B, então C também não contém A.
Certo
Errado