If a ∗ b = a = b ∗ a, then b is called the inverse of a under the operation ∗
For 2 sets A, B, A is called a proper subset of B iff