Обоснуйте, то для всех множеств А,В, правосудно равенство :A (BC) =

Мне кажется, либо это не совершенно информатика?

A\(BC)=(A\B)(A\C)   - ?
Рассмотрим левую часть уравнения:
пусть х(А\(ВС))   это по определению разности множеств это означает, что
хА  и х(ВС)  ,  по определению соединению множеств х(ВС),когда  хВ и хС ;  по другому:

хА   хВ            (А\В)
и                             
хА  хС             (А\С)
это подходит    (А\В)(А\С)  -  правой доли уравнения. 
  Док-но,  равенство справедливо