PanLinx: гомотопическая единица

русский	rus-000
гомотопическая единица

English	eng-000	homotopy identity
English	eng-000	homotopy unit

PanLex-PanLinx