prov:value
| - and B then> > there must exist an element of F> > such that the x in A is paired with> > some element of B, like <x,b_n>.>> If x in A/\B, then x in B, so>> F(x) in B and <x F(x)> in F.>> > Similarly, the x in B must be paired> > with some element of A, like <a_m,x>.>> If x in B, then there is an m in A such that x=F(m) (i.e., <m x> in> F).>> > If x is paired with itself in F,>> Then x=w.>> > then
|