El conjunto potencia de cualquier conjunto contiene al menos un subconjunto.