Reticulo (algebra)

In algebra, un reticuloPatrono:LinfoX es un structura algebric con un relation de ordine. Relative a esser un structura algebric, in un reticulo il ha duo operationes associative e commutative tal que pro qualcunque elementos es ver $u\vee (u\wedge v)=u$ e $u\wedge (u\vee v)=u$. Relative a haber un relation de ordine, pro duo elementos $a$, $b$ il ha un supremo $a\vee b$, alora un elemento le plus micre unicamente determinate, que es plus grande que o equal a $a$ e $b$, e vice versa il ha un infimo $a\wedge b$, alora un elemento le plus grande unicamente determinate, que es minus grande que o equal a $a$ e $b$.

Semireticulo

In algebra, un semireticulo es un semigruppo commutative e idempotente, alora illo es un banda commutative. Un semireticulo limitate es un semireticulo con un elemento neutre $1$ tal que $\mathrm{\forall }x\in Sx\wedge 1=x$, alora illo es un monoide commutative e idempotente.

Vide etiam

• Tabella de leges algebric