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