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