Schreiben wir eine Funktion als ein Verbum & sagen z.B. statt “F(a)”: “a F-iert”.
     Also: ~ (f f-iert) = f S-iert Def. Ersehen wir daraus, was wir statt einem || für einen Ausdruck von der Art “S φ-iert” schreiben sollen?