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