Симметрично или несеметрично множество (-бесконечность; 0]

Не является, т.к. не для всех элементов a существует такой элемент b, что a+b=0: -7+b=0 ни при каких b из этого множества.