Sorry, làm lại này:
B/C đặt bằng D( D là những phần tử chỉ có trong B mà k có trong C)
A giao (B/C) = A giao D = E( E là những phần tử của cả A và B nhưng k có trong C)
A giao B = F ( F là những phần tử của cả A và B)
=>(A giao B)/C = E
gọi x thuộc A giao (B\C) (1)
suy ra : X thuộc A và x thuộc (B\C)
ta có: x thuộc B\C => x thuộc B và x khác C
ta lại có x thuộc A và x thuộc B =>( A giao B )\C =x (2)
Từ (1) và (2) => A giao (B\C) = ( A giao B ) \ C