 Nondegenerate energy eigenvalue

An energy eigenvalue is nondegenerate when its eigenspace is one-dimensional. Its normalized eigenstate is then unique up to a complex phase.