Description: A generalization of the triangle inequality to the point-set distance function. Under the usual notation where the same symbol d denotes the point-point and point-set distance functions, this theorem would be written d ( a , S ) <_ d ( a , b ) + d ( b , S ) . (Contributed by Mario Carneiro, 4-Sep-2015)
Ref | Expression | ||
---|---|---|---|
Hypothesis | metdscn.f | |
|
Assertion | metdstri | |