< 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.

  1. Die Verfeinerung ist eine Ordnung auf .
  2. ist ein Verband. Was ist die inhaltliche Bedeutung des Infimums und des Supremums?
  3. 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.