Tools II: More Formal Concepts of Game Theory and Evolutionary Game Theory