extensionality in Polish

(mathematics, functional analysis) The principle that functions are equal if and only if they operate on the same domain and for any given element of the domain the result of each of the functions is the same.