https://www.glc.us.es/~jalonso/calculemus/19-oct-23/
Para cualquier conjunto s, s ⊆ s