calculus - General substitution - the basics and the rules

In all kinds of mathematical contexts substitution is used. My general question is this: what happens specifically when substituting? Why is it a valid procedure? What are the rules involved? When can or can't you substitute? What are things to be aware of when substituting?

Intuitively it seems a bit odd to me that you can just change one variable into another one.

Thanks!