PanLinx: оператор продолжения

русский	rus-000
оператор продолжения

English	eng-000	operator of extension
English	eng-000	prolongation operator

PanLex-PanLinx