A function defined on an interval has the intermediate value property on if it satisfies the following condition: if and are distinct points in and is any number between and , then there exists a point between and such that
is an open interval containing or is at endpoint. is a function defined on except maybe at if or if is left endpoint, then has right hand limit L at c if
is an open interval containing or is at endpoint. is a function defined on except maybe at if or if is right endpoint, then has left hand limit L at c if
A tagged partition of an interval consists of a partition { } of along with the set { } of points, known as tags, that satisfy for . We will express a tagged partition of by { }
A function is Riemann integrable on if there exists a number with the following property: for each , such that , for all tagged partitions of that satisfy