Ordinal arithmetic is a branch of set theory that deals with the extension of arithmetic operations to ordinal numbers, which are a generalization of natural numbers used to describe order types of well-ordered sets. It involves operations such as addition, multiplication, and exponentiation, which are non-commutative and non-associative, providing a rich structure for understanding transfinite sequences and hierarchies.