Conceptually, mixed function spaces account for the structure of, say, a PDE and a constraint (which might be a second PDE) that are coupled together through a Lagrangian Multiplier.
One can also solve both equations separately without mixing the FE spaces and realize the coupling in a different way, maybe by adding some algebraic constraints (the interface conditions) to the system.