PanLinx: фактор-группоид

русский	rus-000
фактор-группоид

English	eng-000	factor groupoid
English	eng-000	quotient groupoid

PanLex-PanLinx