Set Equality

For sets A,B,C: A=B+C if and only if for any value bB,cC, there exists some aA such that a=b+c.