< Partition < Verfeinerung < Verband
Es sei eine Menge und es sei die Menge aller Partitionen auf , versehen mit der Verfeinerung von Partitionen als Relation. Zeige die folgenden Eigenschaften.
- Die Verfeinerung ist eine Ordnung auf .
- ist ein Verband. Was ist die inhaltliche Bedeutung des Infimums und des Supremums?
- ist ein beschränkter Verband.
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.