  Generalizing the completed cohomology groups introduced by Matthew Emerton,
we define certain spaces of "ordinary $p$-adic automorphic forms along a
parabolic subgroup" and show that they interpret all classical ordinary
automorphic forms.
