Galerkin orthogonality (source code)

= Galerkin orthogonality

If $u$ solves a variational problem and $u_h$ is its conforming <Galerkin method> approximation in $V_h$, then
$$
a(u-u_h,v_h)=0
$$
for every $v_h\in V_h$.