Betrachte eine endliche geordnete Menge mit einem kleinsten Element ${\displaystyle {}0}$ und einem größten Element ${\displaystyle {}1}$, das darüber hinaus aus Elementen ${\displaystyle {}x_{1},\ldots ,x_{n}}$ mit ${\displaystyle {}0<x_{i}<1}$ besteht, und für die es untereinander keine Größerbeziehung gibt. Ist dies ein Verband? Ist er komplementär? Ist er