COMPACTIFIES

Definition of COMPACTIFIES