История
6 декабря 2020
27 апреля 2020
Надмножество не упоминается, значит, можно убрать "под". +Связанные штучки с основными статьями.
+776
9 марта 2020
8 марта 2020
→Определение
м+205
объединение с Внутренняя точка множества + более внятное разграничение того, открытость в чём рассматривается
+2280