This paper is motivated by the study of probability-measure-preserving (<em>pmp</em>) actions of free groups using continuous model theory. Such an action is treated as a metric structure that consists of the measure algebra of the probability measur