The semantical framework for the positive view of this book is one in which entailment is understood primarily in terms of theory closure. This chapter outlines both the history of the notion, beginning with Alfred Tarski’s theory of closure operators, and the relationship between closure operators and the entailment connective. At the end of the chapter, it is shown how closure operators can be used to model a simple logic, Graham Priest’s logic N4.