Более грамотно было бы называть фигуры, совпадающие при совмещении, конгруэнтными и использовать для записи конгруэнтности не знак равенства =, а некоторый специальный знак, например ≅. Однако, чтобы не усложнять изложения, мы не будем употреблять ни термина «конгруэнтный», ни знака ≅, а удовольствуемся школьной традицией (не такой уж, впрочем, и устойчивой, поскольку одно время в советских школах использовался именно термин «конгруэнтный»).

Итак, запись АВ = EF вовсе не означает (а должна бы!), что отрезки AB и EF совпадают. Но что-то всё же совпадает, а именно: их, отрезков, длины. Под психологическим давлением этого обстоятельства и длину отрезка AB нередко обозначают точно так же, как и сам отрезок, т. е. посредством символа AB. И можно встретить такую запись известного неравенства, связывающего стороны треугольника: АС < АВ + ВС. Но это уже не лезет ни в какие ворота, и в этом очерке длина отрезка AB будет обозначаться так, как ей и положено: |AB|.