1: \begin{definition}(~\cite{Birhoff95Lattice,EstajiHooshmandaslDavva12Rough})

2: \label{lattice8}

3: Let $\langle U, \vee, \wedge\rangle$ be an algebraic system. If $\wedge$ and $\vee$ satisfy (P2)-(P4) of Theorem~\ref{THLattice}, then

4: $\langle U, \vee, \wedge\rangle$ is a lattice.

5: \end{definition}