Ty det är en helmängd