A bra is a vector living in a dual
vector space to that containing kets.
Bras and kets are commonly encountered in quantum mechanics. Bras and kets can be
considered as 1-vectors and 1-forms (or vice versa), although this is almost always
done only in a finite-dimensional vector space.