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