1. Formel (für oder in einer Gruppe),
  2. Bedingungsgleichung,
  3. Elementgleichung,
  4. Definitionsgleichung unter der Voraussetzung .