Вот я как раз думал избежать арифметических примеров, потому что отрицательные числа нужны, чтобы замкнуть сложение/вычитание, а их умножение - это такой довесок для теоретической целостности. А если думать про знаки как про какие-то операторные харатктеристики, а про умножение как про последовательность операторов, то, по-моему, понятнее.
Ну, например, отрицательный оператор - 'развернись'