Subsetul Cofinale

În matematică , fie A un set și fie ≤ o relație binară pe A. Atunci se spune că un subset B al lui A este cofinal dacă îndeplinește următoarea condiție:

$\forall a\in A\quad \exists b\in B{\text{ tale che }}a\leq b$ ${\ displaystyle \ forall a \ în A \ quad \ există b \ în B {\ text {astfel încât}} a \ leq b}$ ${\ displaystyle \ forall a \ în A \ quad \ există b \ în B {\ text {astfel încât}} a \ leq b}$ .