De innehålla en helmängd