PanLinx
русский
rus-000
подстановочный морфизм
English
eng-000
substitution morphism
PanLex