Неформально, две функции эквивалентны, если
Функция задана значениями всех её аргументов.
Аксиома экстенсиональности: два множества совпадают, если они состоят из одних и тех же элементов.
Два свойства называются экстенсионально эквивалентными, если этими свойствами обладают в точности одни и те же объекты.