What are kets?

Yuri Gurevich, Andreas Blass

According to Dirac's bra-ket notation, in an inner-product space, the inner product $⟨x|y⟩$ of vectors $x,y$ can be viewed as an application of the bra $\langle x|…