Centered set

In mathematics, in the area of order theory, an upwards centered set S is a subset of a partially ordered set, P, such that any finite subset of S has an upper bound in P. Similarly, any finite subset of a downwards centered set has a lower bound. An upwards centered set can also be called a consistent set. Note that any directed set is necessarily centered, and any centered set is linked.

A subset B of a partial order is said to be σ-centered if it is a countable union of centered sets.


This article is issued from Wikipedia - version of the 11/2/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.