monoid of psSet with infix ⋃ operation.
redefines Monoid.e:identity element
redefines Monoid.infix ==:equality operation
redefines Monoid.infix ∙:associative operation
