https://www.glc.us.es/~jalonso/calculemus/13-mar-24/
f[s ∪ t] = f[s] ∪ f[t]