В английском языке для указания на действие, которое завершилось до начала другого действия, используется конструкция having + past participle (V3).
Данная форма представляет собой перфектное причастие (perfect
participle) и выполняет в предложении обстоятельственную функцию,
заменяя придаточные предложения времени, причины или уступки. Перфектное причастие указывает на то, что выраженное им действие предшествует действию основного глагола-сказуемого. Временной интервал между двумя действиями может быть как минимальным, так и значительным. Пример: Having taken different routes, they arrived at exactly the same moment.
(Сначала они выбрали разные маршруты, затем прибыли одновременно.) 1. Выражение временно́й последовательности
Конструкция заменяет придаточное с after или when. Having locked the door, she realised she had left her keys inside.
(После того как она заперла дверь, она поняла, что оставила ключи внутри.) 2. Выражение причинно-следственной связи
Заменяет придаточное с becau