Given a single-qubit state $|\psi\rangle=\alpha|0\rangle+\beta|1\rangle$, is it fine to calculate something like:
$$\langle\Phi^+|\psi\rangle = \frac{1}{\sqrt{2}}(\alpha\langle0| + \beta\langle1|),$$
where $\langle\Phi^+| = \frac{1}{\sqrt{2}}(\langle00| + \langle11|)$?
I feel that it's okay, since if we have $\langle00|0\rangle=\langle0|\otimes\langle0|\otimes|0\rangle$, and by orthonormality, we can simplify to $\langle0|$.