rozszerzenie danej przestrzeni topologicznej tak, by była ona przestrzenią zwartą