If A = {a, b, c, d, e}, B = {a, c, e, g}, verify that:

(i) A B = B A


(ii) A C = C A


(iii) B C = C B


(iv) A B = B A


(v) B C = C B


(vi) A C = C A


(vii) (A B C = A (B C)


(viii) (A B) C = A (B C)


(i) LHS = A B


= {a, b, c, d, e} {a, c, e, g}


= { a, b, c, d, e, g}


= {a, c, e, g}{a, b, c, d, e}


= B A


= RHS


Hence proved.


(ii) To prove: A C = C A


Since the element of set C is not provided,


let x be any element of C.


LHS = A C


= {a, b, c, d, e} { x |xC}


= { a, b, c, d, e, x}


= {x, a, b, c, d, e }


= { x |xC} { a, b, c, d, e}


= C A


= RHS


Hence proved.


(iii) To prove: B C = C B


Since the element of set C is not provided,


let x be any element of C.


LHS = B C


= { a, c, e, g } { x |xC}


= { a, c, e, g, x}


= {x, a, c, e, g }


= { x |xC} { a, c, e, g }


= C B


= RHS


Hence proved.


(iv) LHS = A B


= {a, b, c, d, e} {a, c, e, g}


= {a, c, e}


RHS = B A


= {a, c, e, g}{a, b, c, d, e}


= {a, c, e}


A B = B A


(v) Let x be an element of B C


x B C


x B and x C


x C and x B [by definition of intersection]


x C B


B C C B ….(i)


Now let x be an element of C B


Then, xC B


x C and x B


x B and x C [by definition of intersection]


x B C


C B B C ….(ii)


From (i) and (ii) we have,


B C = C B [ every set is a subset of itself]


Hence proved.


(vi) Let x be an element of A C


x A C


x A and x C


x C and x A [by definition of intersection]


x C A


A C C A ….(i)


Now let x be an element of C A


Then, xC A


x C and x A


x A and x C [by definition of intersection]


x A C


C A A C ….(ii)


From (i) and (ii) we have,


A C = C A [ every set is a subset of itself]


Hence proved.


(vii) Let x be any element of (A B) C


x (A B) or x C


x A or x B or x C


x A or x (B C)


x A (B C)


(A B) C A (B C) …..(i)


Now, let x be an element of A (B C)


Then, x A or (B C)


x A or x B or x C


x (A B) or x C


x (A B) C


A (B C) (A B) C …..(ii)


From i and ii, (A B) C = A (B C)


[ every set is a subset of itself]


Hence , proved.


(viii) Let x be any element of (A B) C


x (A B) and x C


x A and x B and x C


x A and x (B C)


x A (B C)


(A B) C A (B C) …..(i)


Now, let x be an element of A (B C)


Then, x A and (B C)


x A and x B and x C


x (A B) and x C


x (A B) C


A (B C) (A B) C …..(ii)


From i and ii, (A B) C = A (B C)


[every set is a subset of itself]


Hence, proved.


1