Lattice theory

In der Mathematik ist eine De Morgan-Algebra (benannt nach Augustus De Morgan , einem britischen Mathematiker und Logiker) eine Struktur A = (A, ∨, ∧, 0, 1, ¬), sodass:

Alle Definitionen fordern stillschweigend die homogene Beziehung.R{\displaystyle R}transitiv sein : für alleA,B,C,{\displaystyle a,b,c,}WennARB{\displaystyle aRb}UndBRC{\displaystyle bRc}DannARCDie{\displaystyle aRc.}

Alle Definitionen fordern stillschweigend die homogene Beziehung.R{\displaystyle R}transitiv sein : für alleA,B,C,{\displaystyle a,b,c,}WennARB{\displaystyle aRb}UndBRC{\displaystyle bRc}DannARCDie{\displaystyle aRc.}

In der Mathematik ist eine Heyting-Algebra (auch bekannt als Pseudo-Boolesche Algebra ) ein beschränkter Verband (mit den Verknüpfungs- und Schnittoperationen ∨ und ∧ und dem kleinsten Element 0 und dem größten Element

Alle Definitionen fordern stillschweigend die homogene Beziehung.R{\displaystyle R}transitiv sein : für alleA,B,C,{\displaystyle a,b,c,}WennARB{\displaystyle aRb}UndBRC{\displaystyle bRc}DannARCDie{\displaystyle aRc.}

In der abstrakten Algebra ist ein residuierter Verband eine algebraische Struktur , die gleichzeitig ein Verband x ≤ y und ein Monoid x • y ist, das die Operationen x \ z und z / y zulässt , die in etwa der Division bzw.

In der Mathematik ist der Tamari-Verband eine algebraische Struktur, die einige wichtige logische und geometrische Eigenschaften der Assoziativität prägnant darstellt .

In der universellen Algebra und Verbandstheorie ist eine Toleranzrelation auf einer algebraischen Struktur eine reflexive symmetrische Relation , die mit allen Operationen der Struktur kompatibel ist.

In der Mathematik ist der Youngsche Verband ein Verband , der aus allen ganzzahligen Partitionen gebildet wird .