Euclides lo define de este modo: «Cuando una línea recta que está sobre otra hace que los ángulos adyacentes sean iguales, cada uno de los ángulos es recto, y la recta que está sobre la otra se llama  perpendicular a la otra recta».