  We consider several ways of decomposing models into parts of bounded size
forming a congruence over a base, and show that admitting any such
decomposition is equivalent to mutual algebraicity at the level of theories. We
also show that a theory $T$ is mutually algebraic if and only if there is a
uniform bound on the number of coordinate-wise non-algebraic types over every
model, regardless of its cardinality.
