  The main motivation of this paper is the study of first-order model theoretic
properties of structures having their roots in modal logic. We will focus on
the connections between ultrafilter extensions and ultrapowers. We show that
certain structures (called bounded graphs) are elementary substructures of
their ultrafilter extensions, moreover their modal logics coincide.
