This chapter introduces the basic definitions and properties of polyhedra. Polyhedra are given an external description, in terms of a set of linear inequalities, and an internal description, in terms of vertices and extreme rays. The projection operator is described in detail. Other topics described are the union of polyhedra, Fourier elimination scheme, the relation of the number of facets with the number of vertices, Farkas’ Lemma.