In This Chapter we explain the basic concepts and notations used throughout this book. We recommend to the reader to move now to Chapter 3 and consult the individual sections of this chapter whenever needed. This chapter is organized as follows. In Section 2.1, we list the
standard mathematical notation
for sets, tuples, relations, functions, sequences, strings, proofs, induction and grammars.