Propriedades decorrentes da definição