Add closed sets to topological mixin

This issue was opened at the end of a discussion (at least with @CohenCyril) where we felt the need for an inclusion of closed sets as a field of the topological mixin, instead of defining them from closures afterwards.

This was a long time ago, so I don't remember the arguments in favor of this.