===== Orthogonal basis =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $V$...pre-Hilbert space |

| @#FFBB00: definiendum | @#FFBB00: $B\in \mathrm{OrthogonalBasis}(V)$ |

| @#55CCEE: context     | @#55CCEE: $B\in \mathrm{Basis}(V)$ |

| $v,w\in B$ |

| @#55EE55: postulate   | @#55EE55: $v\ne w\implies \langle v|w\rangle = 0 $ |
==== Discussion ====
==== Parents ====
=== Subset of ===
[[Vector space basis]]
=== Context ===
[[Pre-Hilbert space]]