An elliptic curve over some field F is the set of pairs of elements (x,y) in F satisfying the above equation, for a given a and b in F.
If we add a point at infinity, an elliptic curve forms a group (as long as a certain constrain is met on the values of a and b). Each point on the curve is an element of the group, and a geometrical construction allows us to define addition of points in a consistent manner.
Specifically, to add distinct points we draw a straight line through them, and find the unique third point which this line meets. The reflection of this line in the x-axis is the sum of the two original points.