is: a process of addition that respects a sign convention. [P2.7]
Copyright 1997, The Open University
