Körper der reellen Zahlen/Definition