Un enunciado equivalente, utilizando la noción de subconjunto, es: