Variable

The notion of a variable appears in both Algebra and Computer Science.

A variable takes a value from a set (you get to decide which one). Once we have defined or discovered what the value is, we use that value wherever we find the value.

Appendix A

It might be important for us to have a very technical, formal, precise definition of variable because we might need it in some of our proofs.