O IPTU, imposto de competência municipal sobre a propriedade imobiliária urbana, foi reconhecido pelo STF no RE 562.045 (Tema 385) como passível de progressividade fiscal e extrafiscal. Essa orientação reforça a função social da propriedade. Nesse cenário, qual alternativa expressa corretamente a disciplina constitucional do IPTU?