infimum metric - German English Dictionary