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