up:: 021 MOC Algebra

A universal algebra is a double , where is a set, and is a collection of -ary functions.

Examples

  • A Group is a universal algebra, with
  • A Field can be thought as a universal algebra , with
  • A Lattice is also a universal algebra

References