Printer-friendly page
Definition: 

equality with respect to the net number of reduced symbolic quantities on each side of an equation