“…The restriction of to is denoted by . For , is open and dense in , and is a Riemannian foliated space of dimension n so that each map is a local isometry and the holonomy covering of the leaf [, Theorem 1.3]; in particular, is the union of leaves with trivial holonomy. Moreover is compact if and only if M is of bounded geometry [, Theorem 12.3] (see also , [, Chapter 10, Sections and 4]), where denotes the closure operator in .…”