линейное преобразование евклидова векторного пространства, сохраняющее неизменными длины или (что эквивалентно этому) скалярные произведения векторов.