Chứng minh rằng: Với ba tập A,B,C thì A giao (B/C)=(A giao B)/C

Ta có: `B // C = {x | x in B \ "và" \ x notin C}`

`=>` `A nn (B//C) = {x | x in A \ "và" \ x in B \ "và" \ x notin C}` `(1)`

Ta có: `A nn B = {x | x in A \ "và" \ x in B}`

`=>` `(A nn B) // C = {x | x in A \ "và" \ x in B \ "và" \ x notin C}` `(2)`

Từ `(1)` và `(2)` `=>` đpcm