  We generalize the Arzel\`a-Ascoli theorem to the setting of matrix order unit
spaces, extending the work of Antonescu-Christensen on unital C*-algebras. This
gives an affirmative answer to a question of Antonescu and Christensen.
