Differences

This shows you the differences between two versions of the page.

skew_lattices [2012/06/23 19:19]
jipsen
skew_lattices [2012/06/23 19:21] (current)
jipsen
Line 6: Line 6:
A \emph{skew lattice}  is a structure $\mathbf{A}=\langle A,\vee,\wedge\rangle,$ of type $\langle 2,2\rangle$ such that A \emph{skew lattice}  is a structure $\mathbf{A}=\langle A,\vee,\wedge\rangle,$ of type $\langle 2,2\rangle$ such that
-$\langle A,\vee,\rangle$ is a [[band]],+$\langle A,\vee\rangle$ is a [[band]],
$\langle A,\wedge\rangle$ is a [[band]], $\langle A,\wedge\rangle$ is a [[band]],
Line 16: Line 16:
$h(x \vee y)=h(x) \vee h(y)$, $h(x \vee y)=h(x) \vee h(y)$,
$h(x \wedge y)=h(x) \wedge h(y)$, $h(x \wedge y)=h(x) \wedge h(y)$,
- 
-====Definition==== 
-A \emph{...} is a structure $\mathbf{A}=\langle A,...\rangle$ of type $\langle 
-...\rangle$ such that 
- 
-$...$ is ...:  $axiom$ 
-   
-$...$ is ...:  $axiom$ 
====Examples==== ====Examples====