'''נשאלת השאלה: האם <math>(A\setminus B)\cap C=(A\cap C)\setminus (B\cap C)</math>?
'''ובכן, ידוע לנו ש- <math>A\setminus B=A\cap B^c</math> (כי שניהם אומרים "שייך ל-A וגם לא שייך ל-B"). ולכן הביטוי המקורי שלנו אומר: האם
'''<math>(A\cap B^c)\cap C=(A\cap C)\cap (B\cap C)^c</math>?