https://www.glc.us.es/~jalonso/calculemus/19-nov-22/
Si r ⊆ s y s ⊆ t, entonces r ⊆ t