Se establece que el nombre oficial de Brasil será el de República Federativa del Brasil.