PanLinx
English
eng-000
hemicontinuous operator
русский
rus-000
полунепрерывный оператор
PanLex