Saya mau tau Etimologi dari Sejong (bandar raya). Jelaskan dalam bahasa melayu

Bandar raya ini dinamakan sempena Sejong Agung, raja dari Dinasti Joseon sebagai tanda penghormatan kepada baginda yang merupakan bapa kepada abjad Korea. Sebelum ini bandar raya ini adalah sebuah kaunti iaitu Yeongi (연기, 燕岐).