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.