PanLinx
русский
rus-000
дополняющий морфизм
English
eng-000
augmentation morphism
PanLex