|
\Large Name of class \quad\href{http://math.chapman.edu/cgi-bin/structures?action=edit;id=Template}{edit} % Note: replace "Template" with Name_of_class in previous line |
|
\Large Distributive lattice expansions \quad\href{http://math.chapman.edu/cgi-bin/structures?action=edit;id=Distributive_lattice_expansions}{edit} |
|
\abbreviation{Abbr} |
|
\abbreviation{DLE} |
|
A ... is a structure $\mathbf{A}=\langle A,...\rangle$ of type $\langle ...\rangle$ such that $\langle A,...\rangle$ is a \href{Name_of_class.pdf}{name of class} $op_1$ is (name of property): $axiom_1$ |
|
A distrbutive lattice expansion is a structure $\mathbf{A}=\langle A,\vee,\wedge,f:f\in\mathcal F\rangle$ such that |
|
$op_2$ is ...: $...$ |
|
$\langle A,\vee, \wedge\rangle$ is a \href{Distributive_lattices.pdf}{distributive lattice} and $\langle f:f\in\mathcal F\rangle$ is a sequence of additional operations on $A$. |
![[Home]](/structures.gif)