De ahí que el citado monumento reciba también el nombre de «Monasterio de San Lorenzo de El Escorial».