An operator Arzel\`a-Ascoli theorem

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.