This chapter provides a basic overview on the elements involved in a conformance checking problem. In particular, the chapter introduces basic notation, and formalize the concepts of event logs, and process models. In later chapters, we will use these formalization of event logs and process models to precisely define specific problems and solutions in conformance checking.