PanLinx
русский
rus-000
аксиоматическое замыкание
English
eng-000
axiomatic closure
PanLex