دنبالۀ کاهشی

دنباله‌ای از عناصر در یک مجموعۀ جزئی‌مرتب به‌طوری‌که هر عضو دنباله نابیشتر از عضو قبلی باشد