hereditary extensionality

Мат. наследственная экстенсиональность