In this chapter, we formally define the PAC learning model, which was briefly introduced in the last chapter.