Orthogonal basis
Set
context
$V$…pre-Hilbert space
definiendum
$B\in \mathrm{OrthogonalBasis}(V)$
context
$B\in \mathrm{Basis}(V)$
$v,w\in B$
postulate
$v\ne w\implies \langle v|w\rangle = 0 $
Discussion
Parents
Subset of
Vector space basis
Context
Pre-Hilbert space