This section is intended to introduce the notations for readers with a sufficient background in lattice theory.
It is also useful as a short introduction to lattices for newcomers to whom we suggest reading chapters 1-4 in [1]}.
Additional details on all elements of this section are found in [1]} and [3]}.
