Quasivarieties generated by small suborder lattices. I. Equational bases

Abstract

For each cardinal $\kappa>0$, the quasivariety generated by the suborder lattice of $M_\kappa$ is a finitely based variety. An equational basis for this variety is found.