La droite (OO') est la médiatrice du segment [PQ]. Toutefois, la tangence qui permet de conclure à l'identité de P et Q est celle de l'hypothèse globale. En effet, en topologie, il est possible que deux entités soient tangentes en un point et se recoupent en un autre. Par exemple, dans le cas d'un cercle et d'une droite en géométrie plane, l'hypothèse de tangence implique qu'ils se coupent pas ailleurs, mais en géométrie convexe par exemple, le cas de cercles de latitudes et d'arcs prolongés de longitudes d'un cône à pointe en demi sphère comporte des doubles tangences.
Ou encore en 2D, une ellipse peut être tangente à un cercle en deux points ou bien en un point et le recouper en deux autres