is mentioned
In prior sections: DiscreteMath
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
B == {f:(A
B)| Surj(A; B; f) } B == {f:(AB)| Surj(A; B; f) }