In den Regeln für die Variable a kann eine Variable b vorkommen und auch besondere Zahlzeichen; aber auch keine Gesamtheit von Zahlen.