Implementierung des unendlichen Wertebereichs (2)

• Eine Relation heißt Äquivalenzrelation, wenn sie für alle a,b,c folgende Bedingungen erfüllt:

  1. Reflexivität:

  2. Symmetrie:

  3. Transitivität:

• Jeder Term läßt sich auf eine ``Standardform'' reduzieren.

  Beispiel:

  

  Beweis: An Hand der Axiome

  

  sofort zu sehen.

• 
  Beide Seiten lassen sich auf dieselbe ,,Standardform`` reduzieren.