Partial Algebra (original) (raw)

Algebra Applied Mathematics Calculus and Analysis Discrete Mathematics Foundations of Mathematics Geometry History and Terminology Number Theory Probability and Statistics Recreational Mathematics Topology

Alphabetical Index New in MathWorld

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 . 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.