for V being non empty MetrStruct holds
( id V is onto & id V is isometric ) ;