An orthonormal sequence of vectors ${v_i}_{i\in\mathbb N}$ in a Hilbert space $H$ is an orthonormal (Hamel) basis for $H$ if \(h = \sum_{i\in\mathbb N} \langle v_i, h\rangle v_i\) for all $h \in H$.
Wikidata ID: Q189569