Cada ket formula_3 tiene un bra dual, escrito como formula_2, esto es una funcional lineal continua de formula_4 a los números complejos C, definido como