PanLinx
русский
rus-000
гиперконечный множитель
English
eng-000
hyperfinite factor
PanLex