Manchester City have signed 23-year-old defender Ruben Dias from Benfica on a six-year deal for about £65m.
Dias becomes City boss Pep Guardiola's third significant summer signing, following the arrivals of defender Nathan Ake and forward Ferran Torres.
"To have the opportunity to join a club like Manchester City is a fantastic opportunity for me and one I couldn't turn down," said Dias.
"Their success speaks for itself. They have been the dominant team in England over the last few years, playing an attacking brand of football which I feel suits my own game.
"It is really exciting to be part of such a talented squad and to play for a world class manager like Pep Guardiola, who has a proven track record of developing young players like myself."
Portugal international Dias graduated from the Benfica academy before making 113 senior appearances, and winning the Portuguese title in 2018-19.
He has also won 19 caps for Portugal and he will bolster the City defence, which conceded five goals in their recent defeat to Leicester City.
Dias has been heavily linked with a move to Arsenal in recent years, but he completes Guardiola's search for a right-sided central defender.
He is being touted as Vincent Kompany's replacement, with Guardiola opting to utilise Fernandinho as a central defender last season following the influential Belgian's departure.