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 xn ⊆ xm.

En algebro, vico por estas ne-pligrandiĝanta se .

Vidu ankaŭ redakti