https://www.glc.us.es/~jalonso/calculemus/18-nov-22/
Para cualquier conjunto s, s ⊆ s