  We present a non-linear inequality that completely characterizes the set of
correlation functions obtained from bipartite quantum systems, for the case in
which measurements on each subsystem can be chosen between two arbitrary
dichotomic observables. This necessary and sufficient condition is the maximal
strengthening of Cirel'son's bound.
