Unter der Mittelsenkrechten (dem Mittellot) zweier verschiedener Punkte versteht man diejenige Gerade, die zur Verbindungsstrecke der gegebenen Punkte senkrecht verläuft und durch den Mittelpunkt dieser Verbindungsstrecke geht. Hier werden alle drei Mittelsenkrechten eines Dreiecks betrachtet.