Power Set with Intersection is Monoid