for N being non empty MetrStruct holds
( N is bounded iff [#] N is bounded )