Como confirmar que um conjunto está contido em outro a partir das características dos seus elementos?

Mostrar que todo elemento do primeiro conjunto satisfaz a propriedade que define o segundo:
se ∀x (x ∈ A ⇒ x ∈ B) então A ⊆ B.

Exemplo:
Suponha que todos os produtos nos grupos X ou Y são orgânicos.
Como os produtos de X pertencem ao conjunto "X ou Y", todos os produtos de X são orgânicos, logo X ⊆ conjunto dos produtos orgânicos.