bSwap (bMinSets (oRightNaturalOrder (sSetsUnion (dProduct dNat dNat))))
4
0 : 1 : [[(0, 1)]]
1 : 2 : [[(1, 2)]] 
0 : 3 : [[(0, 3)]] 
3 : 2 : [[(3, 2)]] 

