Multiplicative identity
> Properties <
...........................................................................................................................................................................................