The property of being the only possible solution (perhaps modulo a constant, class of transformation, etc.).