Talk:Extensionality

Notation of functional extensionality

Currently, the articla contains:

Functional extensionality of functions $f,g$: if $\forall x,fx=gx$ then $f=g$

Should this be

Functional extensionality of functions $f,g$: if $\forall x,f(x)=g(x)$ then $f=g$ ~2026-13001-09 (talk) 10:27, 27 February 2026 (UTC)

Function application is often written without parantheses. - Jochen Burghardt (talk) 15:00, 27 February 2026 (UTC)