Potenzmenge/Teilbarkeit/Teilmengenbeziehung/Aufgabe

Aus Wikiversity

Es sei eine Menge und die zugehörige Potenzmenge, die wir als kommutatives Monoid mit dem Durchschnitt als Verknüpfung auffassen. Es seien . Zeige, dass folgende Eigenschaften äquivalent sind.

  1. Es ist .
  2. Es ist .
  3. Es ist ein Teiler (im monoidtheoretischen Sinn) von .