Man finner sålunda e » helmängd