Partial Algebra

A partial algebra is a pair A=(A,(f_i^A)_(i in I)), where for each i in I, there are an ordinal number alpha_i and a set X_i subset= A^(alpha_i) such that f_i^A is a function from X_i into A. In case X_i=A^(alpha_i), the operation f_i^A is called a total operation, and otherwise, it is called a partial operation.

See also

Topological Partial Algebra

This entry contributed by Matt Insall (author's link)

Explore with Wolfram|Alpha


Grätzer, G. Universal Algebra, 2nd ed. New York: Springer-Verlag, 1979.

Referenced on Wolfram|Alpha

Partial Algebra

Cite this as:

Insall, Matt. "Partial Algebra." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein.

Subject classifications