Before revision: The equations apply to algebraic structures with a total ordering .
After revision: The equation applies to algebraic structures with a total ordering .