Эти записи вообще-то даже обязательны, т.к. на 0 делить нельзя, а показательная функция >0 и не равна 0 соответственно.То, что 13^x >0 пишут для того, чтобы показать, что умножаем на положи тельную функцию и при этом знак неравенства не поменяется, а это для неравенств важно.