Se o conjunto A está contido no conjunto B, então, necessariamente,