# All Science Fair Projects

## Science Fair Project Encyclopedia for Schools!

 Search    Browse    Forum  Coach    Links    Editor    Help    Tell-a-Friend    Encyclopedia    Dictionary

# Science Fair Project Encyclopedia

For information on any area of science that interests you,
enter a keyword (eg. scientific method, molecule, cloud, carbohydrate etc.).
Or else, you can start by choosing any of the categories below.

# Upper bound

In mathematics, especially in order theory, an upper bound of a subset S of some partially ordered set is an element which is greater than or equal to every element of S. The term lower bound is defined dually.

Formally, given a partially ordered set (P, ≤), an element u of P is an upper bound of a subset S of P, if

su, for all elements s of S.

Using ≥ instead of ≤ leads to the dual definition of a lower bound of S.

Clearly, a subset of a partially ordered set may fail to have any upper bounds. Consider for example the subset of the natural numbers which are greater than a given natural number. On the other hand, a set may have many different upper and lower bounds, and hence one is usually interested in picking out specific elements from the sets of upper or lower bounds. This leads to the consideration of least upper bounds (or suprema) and greatest lower bounds (or infima). Another special kind of (least) upper bounds are greatest elements.

A special situation does occur when a subset is equal to the set of lower bounds of its own set of upper bounds. This observation leads to the definition of Dedekind cuts.

Further introductory information is found in the article on order theory.

03-10-2013 05:06:04