paracompactification

adjective1

1. •
   A construction yielding a paracompact space.

   • In 1957, Mrowka showed that a locally paracompact space admits a one point paracompactification. Similarly, Isiwata obtained a one point realcompactification for locally realcompact spaces. — 2018