This paper deals with generalizations of the notion of a polytope to infinite dimensions. The most general definition is the following: a bounded closed convex subset of a Banach space is called a polytope if each of its finite-dimensional affine sections is a (standard) polytope.
We study the relationships between eight known definitions of infinite-dimensional polyhedrality. We provide a complete isometric classification of them, which gives solutions to several open problems. An almost complete isomorphic classification is given as well (only one implication remains open).