En matemáticas , en el área de la teoría del orden, un conjunto centrado hacia arriba S es un subconjunto de un conjunto parcialmente ordenado , P , tal que cualquier subconjunto finito de S tiene un límite superior en P. De manera similar, cualquier subconjunto finito de un conjunto centrado hacia abajo tiene un límite inferior. Un conjunto centrado hacia arriba también puede denominarse conjunto consistente . Cualquier conjunto dirigido está necesariamente centrado, y cualquier conjunto centrado es un conjunto enlazado .
Se dice que un subconjunto B de un orden parcial es σ-centrado si es una unión contable de conjuntos centrados.