Definition:General Algebraic Product