Power Set with Union is Monoid