A partial algebra is a pair , where for each
, there are an ordinal number
and a set
such that
is a function from
into
. In case
, the operation
is called a total operation, and
otherwise, it is called a partial operation.
Partial Algebra
See also
Topological Partial AlgebraThis entry contributed by Matt Insall (author's link)
Explore with Wolfram|Alpha
References
Grätzer, G. Universal Algebra, 2nd ed. New York: Springer-Verlag, 1979.Referenced on Wolfram|Alpha
Partial AlgebraCite this as:
Insall, Matt. "Partial Algebra." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/PartialAlgebra.html