Tolong jelaskan mengenai Distrik federal dari Republik Indonesia Serikat

Republik Indonesia Serikat memiliki satu distrik federal, yakni Distrik Federal Jakarta (sebelumnya bernama Distrik Federal Batavia). Pembentukan Daerah/Distrik Federal Batavia ditetapkan dengan dasar hukum Staatsblad No. 63 on June 1948. Distrik federal tersebut diberikan otonomi di dalam lingkup Negara Pasundan. Distrik Federal Batavia berubah nama menjadi Distrik Federal Jakarta pada tanggal 30 Desember 1949 dan dikelola langsung oleh pemerintah federal RIS.