Now, to establish the algebraic structure of your model, we need to verify that the following properties hold: