Из матетатики, что-то типа свойства общности функторов, не зависящих от того над каким множеством работают их параметры-функции.
Google Translate молчит. Wiktionary молчит. В поиске особо не находится.
Как тогда по-русски говорить "parametricity"? "Параметричность"? Кто-нибудь поймёт?
