Multiplicative Inverse Property Definition