for K, N being non empty Subset of NAT holds min ((min K),(min N)) = min (K \/ N)