جوره مرتب، رابطه و رابطهٔ معادل

جورهٔ مرتب (a, b) عدد اول و عدد دوم دارد و ترتیب مهم است. حاصل‌ضرب کارتیزینی A×B ست همهٔ جوره‌هایی است که عدد اول آن از A و عدد دوم آن از B است. در مستوی شبکه‌یی از نقطه‌ها است.

رابطه از A به B یک قسمت (ست فرعی) از A×B است. معکوس آن R^−۱ هر جوره را برعکس دارد.

رابطه بالای یک ست وقتی معادل است که انعکاسی (هر x با خودش رابطه دارد)، متناظر (⁦x ~ y⁩ یعنی ⁦y ~ x⁩) و انتقالی (⁦x ~ y⁩ و ⁦y ~ z⁩ یعنی ⁦x ~ z⁩) باشد. ست را به صنف‌ها تقسیم می‌کند.