for R being non empty Reflexive MetrStruct
for S being Subset of R st S is bounded holds
0 <= diameter S