Is there a book, or a paper where the Lexicographic glb and lub are proven commutative, associative, idempotent and absorbing. I have already proven this, but would like to check proofs, and a short citation in a page limited paper, is better than a list of long proofs. Thank you.

Given 2 complete lattices $L_1 = (A_1,\vee_1,\wedge_1)$ and $L_2 = (A_2,\vee_2,\wedge_2)$, we form the lexicographic product $(A_1\times A_2, \vee, \wedge)$ where

$$ (a,b) \vee (a',b') = \left\{ \begin{aligned} (a,b) & \hbox{if $a' < a$} \\ (a'b') & \hbox{if $a < a'$} \\ (a,b \vee_2 b') & \hbox{if $a = a'$} \\ (a \vee_1 a',0_2) & \hbox{if $a || a'$} \end{aligned}\right. $$

$$ (a,b) \wedge (a',b') = \left\{ \begin{aligned} (a,b) & \hbox{if $a < a'$} \\ (a',b') & \hbox{if $a' < a$} \\ (a,b \wedge_2 b') & \hbox{if $a = a'$} \\ (a \wedge_1 a',1_2) & \hbox{if $a || a'$} \end{aligned}\right. $$