elector: any of the German princes who were entitled to vote in the election of new emperor of the Holy Roman Empire
metric function: a function of a topological space that gives, for any two points in the space, a value equal to the distance between them