On convergence of a sequence of mappings with inverse modulus inequality to a discrete mapping

We have studied the mappings that satisfy the Poletsky-type inverse inequality in the domain of the Euclidean space. It is proved that the uniform boundary of the family of such mappings is a discrete mapping. We separately considered domains that are locally connected at their boundary and regular domains in the quasiconformal sense.