Naturligtvis följer därefter en helmängd