Sea $(P,\leq)$ un conjunto parcialmente ordenado. Sea $A\subset P$ y sea $R\subset A$. Supongamos que existe $x\in P$ tal que $x\leq r$ para todo $r\in R$ y si $a\in A$ es tal que $a\leq r$ para todo $r\in R$, entonces $a\leq x$. Es decir, $x$ es como un ínfimo de $R$ en $A$, excepto porque quizás no está en $A$. ¿Hay algún nombre establecido para un $x$ que cumple esto? ¿O alguno recomendado?