Det är klart att denmängd