PanLinx: гипервещественное поле

русский	rus-000
гипервещественное поле

English	eng-000	hyper-real field
English	eng-000	hyperreal field

PanLex-PanLinx