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