this case is also called the prosecutive case in some languages this process is called sedimentation preregular spaces are also called r spaces