The Stepanov theorem for Q-valued functions

In this work we prove the Stepanov differentiation theorem for multiple-valued functions. This theorem is proved in the wide generality of metric-space-multiple-valued functions without relying on a Lipschitz extension result. General definitions of differentiability and approximate differentiability for functions between suitable metric spaces are also introduced.