Real numbers/Series/Definition