Fiber product of sets (source code)

= Fiber product of sets
{wiki}

The fiber product of maps f:A to B and g:A-prime to B consists of pairs with equal images in B.