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