En mängd i den sednarebefintliga