Extensional Function Property

computation

Definition

Extensional Function Property

A function property $P$ is extensional iff it depends only on the computed function (its graph), not on how it’s implemented.

Equivalently: if two Turing machines $M_1,M_2$ compute the same function:

$$F(M_1)=F(M_2)⟹P(F(M_1))=P(F(M_2))$$