رابطۀ جزئی مرتب

{partially ordered relation} [ریاضی] رابطه ای که بازتابی و پادمتقارن و ترایا باشد

💡 الگوریتم برای استفاده از این مزیت که داده‌ها به‌طور جزئی مرتب شده‌اند، طراحی شده‌است. جستجوی تیم، کار خود را با پیداکردن runها در داده ادامه می‌دهد. یک run یک زیرآرایه از آرایهٔ اصلی داده‌ها می‌باشد که حداقل دارای دو عنصر می‌باشد که غیر نزولی یا نزولی اکید باشد. اگر زیر مجموعه نزولی باشد باید نزولی اکید باشد زیرا این run می‌تواند با جابجایی ساده عناصر از دو طرف که به وسط همگرا می‌شوند، معکوس شود.

💡 عنصر کمینه در یک مجموعه جزئی مرتب شده یا مشبکه احتمال دارد گاهی اوقات عنصر صفر نامیده شود و به صورت ۰ یا ⊥ نوشته شود.