שינויים

תהי <math>A</math> קבוצה ותהי תת קבוצה <math>B\subseteq A</math>. נגדיר יחס <math>~R\subseteq P(A)\times P(A)</math> ע"י:

<math>X~Y XRY \iff X\cap B=Y\cap B</math>

טענה: א. <math>~R</math> יחס שקילות.