är indragningen af denmängd