För det första hade vi en helmängd