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