åtföljes af en helmängd