PanLinx
русский
rus-000
конечное сужение
English
eng-000
finite restriction
PanLex