w topologii: zbiór, dla którego istnieje retrakcja