Обсуждение:Аксиома регулярности

Вложенные множества

Приведённая в статье фраза "Не существует бесконечной последовательности вложенных множеств" встречается на нескольких (Google: 173) сайтах и, возможно, имеет общий источник, в котором автор некорректно использовал термин "вложенные множества" по отношению к свойству "является элементом".

Однако, вложенные множества - это означает "A содержится в B", а не "A есть элемент B".

Пример (цитата из статьи [Мера множества]).

• Непрерывность: мера предела бесконечной последовательности вложенных множеств равна пределу последовательности мер этих множеств:

  $A_{1}\supseteq A_{2}\supseteq A_{3}...\supseteq A=\bigcap _{n=1}^{\infty }A_{n}\Rightarrow \lim _{n\rightarrow \infty }\mu (A_{n})=\mu (A)$

Другие примеры употребления выражения "вложенные множества" в смысле "содержащиеся" можно найти в статьях [Выпуклая оболочка], [Аттрактор], и др., см. http://ru.wikipedia.org/w/index.php?title=%D0%A1%D0%BB%D1%83%D0%B6%D0%B5%D0%B1%D0%BD%D0%B0%D1%8F%3A%D0%9F%D0%BE%D0%B8%D1%81%D0%BA&profile=default&search=%D0%B2%D0%BB%D0%BE%D0%B6%D0%B5%D0%BD%D0%BD%D0%BE%D0%B5+%D0%BC%D0%BD%D0%BE%D0%B6%D0%B5%D1%81%D1%82%D0%B2%D0%BE&fulltext=Search 91.77.134.234 14:20, 24 июня 2013 (UTC)

Разные термины?

В самом начале сказано, что аксиома регулярности и аксиома фундирования - одно и то же, а в разделе "Историческая справка" сказано, что одна заменила другую. Ъде правда? Шагдаш Мар (обс.) 21:59, 1 мая 2020 (UTC)