This paper provides a self-contained definition and a characterization of the class of extensive-form games that are adequate for applications, but still do not employ any finiteness assumptions. In spite of its simplicity, the resulting definition is more general than the classical ones....