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...\infty }$ estas ne-pligrandiĝanta se $\forall n\in \mathbb {N} :a_{n}\geq a_{n+1}$ .