رابطه هم ارزی

رابطه ها در ریاضیات به صورت زیرمجموعه هایی از ضرب دکارتی دو یا چند مجموعهٔ مشابه یا متمایز تعریف می شوند. این رابطه ها می توانند خواص و ویژگی های گوناگونی داشته باشند؛ اما ۴ ویژگی از سایر ویژگی ها مهم تر است. رابطه هایی که این خواص را دارند، به این شکل نامیده می شوند:
رابطهٔ توازی خطوط در صفحه (||): مثالی از رابطهٔ هم ارزی
رابطه ای که بازتابی، تقارنی و ترایایی باشد، رابطهٔ هم ارزی و رابطه ای که بازتابی، پادتقارنی و ترایایی باشد، رابطهٔ ترتیب خوانده می شود.
نشان می دهیم که رابطهٔ توازی خطوط در صفحه، یک رابطهٔ هم ارزی است:
نخست - هر خط با خودش موازی است؛ پس این رابطه بازتابی است.