Uniqueness
= Uniqueness
A solution is unique when any two objects satisfying the stated conditions are equal. This is an at-most-one assertion; <existence> is a separate requirement. A common proof assumes two solutions, subtracts their equations, and proves that their difference vanishes. For a <linear differential equation> this turns the task into a homogeneous problem with zero boundary or initial data.