Propriedade de certas operações em matemática e ciência da computação, que podem ser aplicadas várias vezes sem alterar o resultado depois da primeira aplicação.