In mathematics, equality is when two or more expressions which mean the same thing. Thus 3 + 4 = 7 is an equality. For constant nonzero a, b, c, the equality a = b implies:

 

    b = a
    a + c = b + c
    ac = bc

 

and if b = c then a = c. See also equivalence.