Mathematical properties of renormalization-group transformations