The basic properties of polytopes and their faces are derived from a set of axioms which are satisfied, in particular, by polytopes in Euclidean, hyperbolic or (hemi-)spherical space. The underlying space is not assumed to be either dense or unbounded.