گراف راسی ترایا

رابطه هم‌ارزی (به انگلیسی: Equivalence relation) در ریاضیات یک رابطه دوتایی است که بازتابی، متقارن، و ترایا است.

. بنابراین اطمینان حاصل می‌شود که الف) تعریف بالایی از «بهتری» واقعاً معرف یک رابطهٔ ترایا است و ب) همیشه حداقل یک نامزد

علامت "✓" نشان‌دهنده آن است که ویژگی ستونی در تعریف آن سطر لازم است. برای مثال تعریف رابطه هم‌ارزی لازم دارد تا متقارن باشد. به صورت ضمنی همه این تعاریف ترایا و بازتابی می‌باشند. علامت "✗" نشان‌دهنده آن است که ویژگی به طور کلی تضمین نمی‌شود (می‌تواند برقرار باشد، یا نباشد).