Differences

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

ordered_monoids_with_zero [2010/07/29 15:46]
127.0.0.1 external edit
ordered_monoids_with_zero [2016/11/26 17:01] (current)
jipsen
Line 7: Line 7:
$0$ is a \emph{zero}:  $x\cdot 0 = 0$ and $0\cdot x = 0$ $0$ is a \emph{zero}:  $x\cdot 0 = 0$ and $0\cdot x = 0$
- 
-Remark: This is a template. 
-If you know something about this class, click on the ``Edit text of this page'' link at the bottom and fill out this page. 
- 
-It is not unusual to give several (equivalent) definitions. Ideally, one of the definitions would give an irredundant axiomatization that does not refer to other classes. 
==Morphisms== ==Morphisms==
Line 19: Line 14:
$h(0)=0$, $h(0)=0$,
$x\le y\Longrightarrow h(x)\le h(y)$. $x\le y\Longrightarrow h(x)\le 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====
Line 71: Line 58:
====Subclasses==== ====Subclasses====
-  [[Commutative ordered monoids]]+[[Commutative ordered monoids]]
====Superclasses==== ====Superclasses====
-  [[Ordered monoids]] reduced type+[[Ordered monoids]] reduced type
-  [[Ordered semigroups with zero]] reduced type+[[Ordered semigroups with zero]] reduced type
-  [[Representable residuated lattices]]+[[Representable residuated lattices]]