Let $\tau $ be a type of algebras. A valuation of terms of type $\tau $ is a function $v$ assigning to each term $t$ of type $\tau $ a value $v(t) \geq 0$. For $k \geq 1$, an identity $s \approx t$ of type $\tau $ is said to be $k$-normal (with respect to valuation $v$) if either $s = t$ or both $s$ and $t$ have value $\geq k$. Taking $k = 1$ with respect to the usual depth valuation of terms gives the well-known property of normality of identities. A variety is called $k$-normal (with respect to the valuation $v$) if all its identities are $k$-normal. For any variety $V$, there is a least $k$-normal variety $N_k(V)$ containing $V$, namely the variety determined by the set of all $k$-normal identities of $V$. The concept of $k$-normalization was introduced by K. Denecke and S. L. Wismath in their paper (Algebra Univers., 50, 2003, pp.107-128) and an algebraic characterization of the elements of $N_k(V)$ in terms of the algebras in $V$ was given in (Algebra Univers., 51, 2004, pp. 395--409). In this paper we study the algebras of the variety $N_2(V)$ where $V$ is the type $(2,2)$ variety $L$ of lattices and our valuation is the usual depth valuation of terms. We introduce a construction called the {\it $3$-level inflation} of a lattice, and use the order-theoretic properties of lattices to show that the variety $N_2(L)$ is precisely the class of all $3$-level inflations of lattices. We also produce a finite equational basis for the variety $N_2(L)$.
The Cantor-Bernstein-Schröder theorem of the set theory was generalized by Sikorski and Tarski to $\sigma $-complete boolean algebras, and recently by several authors to other algebraic structures. In this paper we expose an abstract version which is applicable to algebras with an underlying lattice structure and such that the central elements of this lattice determine a direct decomposition of the algebra. Necessary and sufficient conditions for the validity of the Cantor-Bernstein-Schröder theorem for these algebras are given. These results are applied to obtain versions of the Cantor-Bernstein-Schröder theorem for $\sigma $-complete orthomodular lattices, Stone algebras, $BL$-algebras, $MV$-algebras, pseudo $MV$-algebras, Łukasiewicz and Post algebras of order $n$.