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