Relative Kompaktheit