These operations are well defined for any two subsets of A we obtain again a subset of A, as for any two subsets .
Also we can see that these operations are commutative and associative (from the definition of an intersection and a union of sets). Therefore let us write explicitly the elements of P(A) :
And now the Cayley table are (by a direct calculation of union and intersection) :
We can clearly see either from definition of an intersection/union, either from the tables, that the identity element exists and the identity for is and the identity for is .
Comments