Решётка подалгебр универсальной алгебры
Решётка пода́лгебр универса́льной а́лгебры , частично упорядоченное (отношением теоретико-множественного включения) множество всех подалгебр алгебры . Для любой алгебры решётка подалгебр является алгебраической и обратно, для любой алгебраической решётки существует алгебра такая, что (теорема Биркгофа – Фринка).