Википедия
Факторсистема в универсальной алгебре — объект, получаемый разбиением алгебраической системы на классы смежности отношением эквивалентности, стабильным по отношению к её основным операциям, и, соответственно, являющийся также алгебраической системой. Факторалгебра — факторсистема, получаемая над алгеброй , фактормодель — факторсистема над моделью .
Факторсистема является обобщением алгебраических факторизаций: факторгруппа , факторкольцо , факторалгебра являются факторсистемами над группой , кольцом , алгеброй над полем соответственно.