ترتیب جزئی

{partial order, ordering, order relation} [ریاضی] رابطه ای دوتایی میان اعضای یک مجموعه که بازتابی و پادمتقارن و ترایا باشد

رابطه‌ای دوتایی میان اعضای یک مجموعه که بازتابی و پادمتقارن و ترایا باشد.

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