https://www.glc.us.es/~jalonso/calculemus/16-abr-24/
f[s] \ f[t] ⊆ f[s \ t]