PanLinx
русский
rus-000
целое замыкание
English
eng-000
integral closure
PanLex