A way of representing objects so that, although each may have many different names, every possible name corresponds to exactly one object.
See also Canonical Form
References
Petkovsek, M.; Wilf, H. S.; and Zeilberger, D. A=B. Wellesley, MA: A. K. Peters, p. 7, 1996.