*Definition [#fc7f63f2]
A subset Y of a space X is said to be 3-paracompact in X iff for every open cover U of X, there exists a collection V which satisfies:
++V consists of open subsets of Y;
++V covers Y;
++V is a [[partial refinement]] of U;
++V is [[locally finite]] at Y.

*Remark [#b2e4fd67]
-This is not a property for topological spaces, but subspaces.
-See [[1-paracompact]], [[2-paracompact]].

*Reference [#i4ed9e7e]
K.P.Hart, J. Nagata and J.E. Vaughan, ''Encyclopedia of general topology'', Elsevier Science