شرط زنجیر کاهشی

شرطی بر روی یک حلقه که براساس آن هر دنبالۀ کاهنده از آرمانه‌های چپ یا راست فقط تعدادی متناهی جملۀ متمایز داشته باشد