for N being non empty Subset of NAT holds min N = min* N