Фигурные скобки вокруг числа в множестве обозначают, что это число включено в множество. Таким образом, множество {0} содержит только число 0.

В данном примере {0} U [4; +бесконечность) означает объединение множества {0} с интервалом [4; +∞). То есть это множество содержит число 0 и все числа больше или равные 4.