Расширяемость

Экстенсиональность в логике относится к принципам, когда объекты считаются равными по одинаковым внешним свойствам.
Концепция интенциональности связана с совпадением внутренних определений объектов.
В математике расширенное определение равенства функций широко используется.
Аналогичное экстенсиональное определение обычно используется для отношений.
В теории множеств аксиома расширенности гласит, что два множества равны, если они содержат одинаковые элементы.
В математике принято отождествлять отношения и функции с их расширением.
Теоретико-типологические основы математики обычно не являются экстенсиональными в этом смысле.

Полный текст статьи:

Экстенсиональность — Википедия