besagt, daß bei der Erweiterung der Zahlenbereiche von den natürlichen über die ganzen und rationalen zu den reellen Zahlen in den Ausgangsbereichen gültige Rechengesetze jeweils auch in den erweiterten Bereichen gelten.