Добрый день! Подскажите, пожалуйста, правильная ли пунктуация в следующем предложении. При освоении новой скважины Сосновского месторождения проведён многостадийный кислотный гидроразрыв пласта, что является уникальным опытом за всю историю работы предприятия: – это первая горизонтальная скважина с МКГРП на верейском объекте.

Уважаемые сотрудники справочной службы! Пожалуйста, сообщите, нужно ли двоеточие после слова "пишут" во втором из следующих двух предложений: Пусть каждому элементу множества A поставлен в соответствие некоторый элемент множества B. Тогда говорят, что задано отображение f множества A во множество B и пишут f: A to B. (Слово "отображение" должно быть выделено курсивом; на месте to должна быть нарисована горизонтальная стрелка, направленная слева направо; после f в самом конце второго предложения стоит двоеточие, которое является составной частью математического символа f: A to B, который означает, что f - это отображение множества A во множество B.) Я был бы Вам очень признателен, если бы Вы сообщили: двоеточие нужно, двоеточие не нужно, или возможны оба варианта (в последнем случае какой из них предпочтительнее и почему). Заранее большое Вам спасибо за ответ.