| 释义 |
Universal algebra
universal algebra[¦yü·nə¦vər·səl ′al·jə·brə] (mathematics) The study of algebraic systems such as groups, rings, modules, and fields and the examination of what families of theorems are analogous in each system. Universal algebra (logic)The model theory of first-order equational logic. |