هر رابطه سه ویژگی زیر را می‌تواند روی مجموعه دلخواه و ناتهی A داشته باشد:بازتابی بودن (انعکاسی)، تقارنی بودن (متقارن)، تعدی بودن (ترایایی-تراگذاری)

رابطه‌ای که هر سه ویژگی بازتابی، تقارنی و تعدی را دارد رابطه هم ارزی می‌نامیم.

هر رابطه هم ارزی روی یک مجموعه آن مجموعه را به زیر مجموعه‌های مجزا که هر یک از آن‌ها دسته یا کلاس هم ارزی نامیده می‌شود تقسیم می‌کند.