abstract: Generalizing the standard construction of ultrafilter extensions of semigroups, well-known for its combinatorial applications in number theory, algebra, and dynamics, we describe canonical ultrafilter extensions of arbitrary first-order models, prove their basic properties, and discuss possible applications.