Здравствуйте. Начал читать
книгу по теории математической логике и теории множеств и наткнулся на обозначение ранее по тексту не введённое (а именно, двоеточие в формуле на стр. 12):

. Читаю так: "Множеством

называется множество элементов x, таких, что существуют элементы i принадлежащие множеству I" ...непонятное двоеточие... "элементов x принадлежащих множеству

". Подскажите пожалуйста, как понимать это двоеточие.