экстенсиональная функция

Мат. extensional function