"...each state of a dynamical system at a particular time corresponds to a ket vectors, the correspondence being such that if a state results from the superposition of certain other states, its corresponding ket vector is expressible linearly in terms of the corresponding ket vectors of the other states, and conversely."