https://www.glc.us.es/~jalonso/calculemus/20-oct-23/
Si r ⊆ s y s ⊆ t, entonces r ⊆ t