Set Equality

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