Diskrete Mathematik/Gemischte Definitionsabfrage/15/Aufgabe/Lösung


  1. Eine Verknüpfung

    heißt kommutativ, wenn für alle die Gleichheit

    gilt.

  2. Ein Element heißt Atom, wenn ist und die Beziehung nur für und gilt.
  3. Ein Ideal ist eine nichtleere Teilmenge , für die die beiden folgenden Bedingungen erfüllt sind:
    1. Für alle ist auch .
    2. Für alle und ist auch .
  4. Die beiden Graphen und heißen isomorph, wenn es einen Graphisomorphismus gibt.
  5. Der Quotientengraph ist die Quotientenmenge , versehen mit der Bildgraphenstruktur zur kanonischen Abbildung
  6. Die Paarung heißt maximal, wenn jedes mit keine Paarung ist.