bAddZero (bSwap (bFMinSets (oRightNaturalOrder (sFSetsUnion (dProduct dNat dNat)))))
4
0 : 1 : inl [[(0, 1)]]
1 : 2 : inl [[(1, 2)]] 
0 : 3 : inl [[(0, 3)]] 
3 : 2 : inl [[(3, 2)]] 

