Em relação aos habitantes de uma cidade, considere os seguintes conjuntos:
P = {pessoas que gostam de peixe} C = {pessoas que acordam cedo}

Se o conjunto C está contido no conjunto P, então, em relação a esses habitantes, é sempre verdade que: