Прежде чем продолжить обсуждение алгебраической семантики для модальных логик полезно сделать экскурс в универсальную алгебру и теорию булевых алгебр. Для начала мы обсудим понятия гомоморфизма (из алгебры в алгебру), подалгебры и конгруэнции (на алгебре), докажем теорему о гомоморфизме и некоторые другие базовые результаты. Мы также познакомимся с оператором прямого произведения на индексированных семействах алгебр и установим некоторые его свойства.