pseudolocality supercompactness pseudoduality compactum pseudodistance compact space pseudofunction pseudogroup realcompactification pseudomathematics