Definition, synonyms and related words
A normalized complex number, considered as, say, the scalar coefficient of a ket.