saturated fixed point principle

Conversions between generalized metric spaces and standard metric spaces with applications in fixed point theory