Zur Theorie der Gefüge und Vereine (Q2646456)

\(\mathfrak M\) sei eine teilweise geordnete Menge bez. \(\le\). Verf. gibt einen ausführlichen schritt\-weisen Aufbau des Verbandsbegriffes, wobei die Axiome: 1. Aus \(a\in\mathfrak M\), \(b\in\mathfrak M\) folgt: es gibt ein \(c\in\mathfrak M\) mit \(c\le a\) und \(c\le b\). 2. Aus \(a\in\mathfrak M\), \(b\in\mathfrak M\), \(b\in\mathfrak M\) \(c\le a\) und \(c\le b\) folgt: es gibt ein \(a\wedge b\in\mathfrak M\), so daß für alle \(x\in\mathfrak M\) \(x\le a\) und \(x\le b\) genau dann gilt, wenn \(x\le a\wedge b\) verwandt werden.