In this chapter, we first give a model-theoretic presentation of classical first-order logic with equality considered in an extended form and develop some of its structural properties that make it an institution. We then introduce the abstract concept of institution and illustrate it by a list of other examples from logic and computing science.