Набор

Набор — такая разновидность суперпозиции, при которую мы не задаём заранее последовательности входящих в набор сущностей.

Можно сказать, что набор - это логический приём, в результате которого в обсуждении образуется неупорядоченное множество.

Смысл различения неупорядоченного множества и набора контекстуален.

Он состоит в том, что набор является артефактом коммуникации, а неупорядоченное множество - артефактом теории множеств.

Наборы и неупорядоченные множества, в определённом смысле, изоморфны друг другу, но часть операций, относящихся к таким множествам к наборам просто не применяется.

Набор, не включающий в себя ни одной сущности, называется пустым набором.

.