Let $I$ be an D1128: Inner product space such that
| (i) | $\langle \cdot, \cdot \rangle$ is the D34: Inner product in $I$ |
| (ii) | $\perp$ is an D2024: Orthogonality relation on $I$ |
Then ${\perp}$ is a D294: Symmetric binary relation.