Фактор-група

в теорії груп, група класів еквівалентності щодо деякого відношення еквівалентності