|
$\langle L,\vee,\wedge\rangle$ is a \href{Lattices.pdf}{lattices} |
|
$\langle L,\vee,\wedge\rangle$ is a \href{Lattices.pdf}{lattice} |
|
$\langle L,+,-,0,\cdot\rangle $ is a \href{Rings.pdf}{rings} |
|
$\langle L,+,-,0,\cdot\rangle $ is a \href{Rings.pdf}{ring} |
|
$↑0$ is closed under $\cdot$: $0\leq x,y\implies 0\leq x\cdot y$ |
|
${\uparrow}0$ is closed under $\cdot$: $0\leq x,y\implies 0\leq x\cdot y$ |