A branch of pure mathematics devoted primarily to the study of the integers and integer-valued functions.
