The SlugMath Wiki is under heavy development!

# State/Every lax basis is contained in exactly two lax superbases

Definition of Every lax basis is contained in exactly two lax superbases: Suppose that $\{ \pm \vec e, \pm \vec f \}$ is a lax basis. Then, there exist precisely two lax superbases containing $\{ \pm \vec e, \pm \vec f \}$. Equivalently, there exist precisely two primitive lax vectors $\pm \vec g,\pm \vec h$ such that: $$\{ \pm \vec e,\pm \vec f,\pm \vec g \} \mbox{ and } \{\pm \vec e,\pm \vec f,\pm \vec h \} \mbox{ are lax superbases}.$$

## Logical Connections

This definition logically relies on the following definitions and statements: Def/Lax basis, Def/Lax superbasis, Def/Lax vector

The following statements and definitions logically rely on the material of this page: Def/Domain topograph

To visualize the logical connections between this definition and other items of mathematical knowledge, you can visit any of the following clusters, and click the "Visualize" tab: Clust/Binary quadratic forms