Som vi finna är det en helmängd