reduced ultraproduct

Мат. приведенное ультрапроизведение