Два множества, составленные из одних и тех же элементов, но с разными отношениями порядка, считаются различными упорядоченными множествами.
Множество, не содержащее элементов, является пустым.
Множество называется конечным, если количество его элементов можно выразить некоторым числом, причем неважно известно это число или нет.
Равными называются множества, состоящие из одинакого числа одинаковых элементов