We study the regularity properties of inverse a bilipschitz mapping f belonging to W m X loc $W^m X_{\mathrm{loc}}$ , where is an arbitrary Banach function space. Namely, we prove that − 1 $f^{-1}$ also in . Furthermore, paper shows class mappings closed with respect composition and multiplication.