Ну попробуйте от противного и поставьте совокупность. Совокупность -- это дизъюнкция, то есть, достаточность выполнения какого-то одного условия и необязательность выполнения другого.
И вот если мы второе условие сделаем необязательным, то получается какая-то ерунда: достаточно |a| = a при a >= 0 . И если поставим совокупность, то |a| = чемугодно при a < 0. Согласен... Читать далее