Ne-pligrandiĝanta vico

Estu X aro, kaj "⊆" parta ordo sur X. Estu α vico de ordaj numeraloj. Oni diras ke vico de eroj x_α de X estas ne-pligrandiĝanta se por ĉiu orda numeralo m kaj ĉiu orda numeralo n>m veras x_n ⊆ x_m.

En algebro, vico $a_n$ por $n=1...\mathrm{\infty }$ estas ne-pligrandiĝanta se $\mathrm{\forall }n\in \mathbb{N}:a_n\ge a_{n+1}$.

Vidu ankaŭ

• Monotona funkcio