Выдержка из книги
Криницкий Н.А.
Алгоритмы вокруг нас Изд2
Понятие множества связано с новой абстракцией. Объединяя предметы в множество и создавая тем самым новый предмет, мы игнорируем все свойства множества, зависящие от свойств входящих в него предметов, кроме свойств отличаться от всех других множеств, если в нем есть хотя бы один элемент, не содержащийся в другом множестве, или если в нем нет хотя бы одного элемента, присутствующего в другом множестве. Далее, мы не учитываем никаких связей между элементами и влияний их друг на друга, сохраняя за ними только свойство быть самостоятельными, различными между собой. Зато считается, что каждый элемент связан с содержащим его множеством отношением включения или, если угодно, связью включения, чего в действительности может и не быть. А означает, что а является элементом множества А, входит в это множество.