Reelle Zahlen/Definition