Ja sagt denn eben (x).fx fa = (x).fx nicht, daß fa schon in (x).fx enthalten ist? Zeigt es nicht die Abhängigkeit des fa vom (x).fx? Nein, außer, wenn (x).fx als logische Summe definiert ist (mit einem Summanden fa). – Ist das der Fall, so ist (x).fx (nichts als) eine Abkürzung.