Записать промежуток в виде множества

как записать промежуток [4; -бесконечность) в виде операций множества? Что-то вроде этого:

ℝ×?∪ℝ₊