свойство экстенсиональности

Мат. extensionability property