El álgebra universal es un campo de las matemáticas que provee del formalismo para comparar las diferentes estructuras algebraicas.