This chapter provides the mathematical background necessary for the monograph, including the notations, fundamental definitions, and key lemmas that form the foundation for the contributions presented later. Specifically, we review the concepts of comparison functions, stability notions for discrete-time systems, finite-time stability, and finite-time input-to-state stability for discrete-time systems. These foundational elements are essential for understanding and presenting our research contributions.