  The analysis of finite-element-like Galerkin discretization techniques for
the stationary Stokes problem relies on the so-called LBB condition. In this
work we discuss equivalent formulations of the LBB condition.
