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