Talk:Extensionality

Notation of functional extensionality

Latest comment: 8 months ago2 comments2 people in discussion

Currently, the articla contains:

Functional extensionality of functions $f, g$ : if $\forall x, f x = g x$ 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)Reply

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