با سلام
میشه یه توضیح تمیز بدین که درک کنم قضیه روابط و کلاس هم ارزیو؟
چجوری چک مکنن مثلا یک رابطه داده شده هم ارزی است. میدونم باید چک کرد سه تا خواصو داشته باشه
اینکه مثال نقض بیارم چجوریه؟
مثلا درکم از رابطه تقارن اینه اگه هیچ دوزوجیم باهم رابطه نداشتن پس تقارن در این رابطه هست . چون شرط سور عمومی نقض نکرده است. ایا درست فهمیدم؟یک برداشت دیگم اینه کلاس هم ارزی یعنی همه اعضایی که با اون کلاس رابطه دارن؟
کلا سر قضیه هم ارزی یکم درکم کمه مگ اینکه یجور توثیح بدن قضیه برام بیفته ممنون بابت کمکتون.
سلام. وقت بخیر.
مفهوم کلی هم‌ارزی، اینه که مجموعه رو (با توجه به یه رابطه) به چند زیرمجموعه تقسیم کنیم که اجتماع این زیرمجموعه‌ها با هم تشکیل مجموعه اولیه رو بده و اشتراک دوبه‌دوی اون‌ها تهی بشه. یعنی هر عضو فقط تو یکی از مجموعه‌ها باشه. در این حالت اون رابطه برای دو عضو برقراره اگر و تنها اگر هر دو عضو در یک زیرمجموعه باشن. یعنی تمام اعضای هر زیرمجموعه باهم رابطه دارن و هیچ‌کدوم با هیچ عضوی بیرون از مجموعه رابطه ندارن.