שינויים
/* המשך התרגיל לעיל */
===המשך התרגיל לעיל===
ב. לכל <math>X\subseteq A</math> קיימת <math>C\subseteq B</math> כך ש <math>[X]_~_R=[C]_~_R</math> ג. אם <math>C,D\subseteq B</math> שונות, אז <math>[C]\neq [D]</math>
====פיתרון====
===דוגמא חשובה - הגדרת הרציונאליים===