On the set $\mathbb{R}$, we define the following operation which is called the "pro-sum" of two real numbers :
For all $a, b \in \mathbb{R},\ a \circledast b = (a \times b) + (a+b)$, where $\times$ and $+$ are the classical operations in $\mathbb{R}$.
I was wondering if there was an algebraic property which was respected by the classical sum and not by the "pro-sum"?
I already checked that commutativity, associativity and the identity property (identity element is $0$) are true for the "pro-sum". However I noticed that $-1$ does not have an inverse element, so it means that not every element with this operation is invertible.
Are there references about the "pro-sum" in the literature ?
Thank you in advance !