КОНГРУЭНТНОСТЬ

- отношение эквивалентности на множестве геометрич. фигур (отрезков, углов и т. д.). Оно вводится либо аксиоматически (см. "Гильберта система аксиом"), либо на основе какой-либо группы преобразований, чаще всего движений. Так, в евклидовой геометрии (и вообще в геометрии пространств постоянной кривизны) две фигуры наз. конгруэнтным и, или равными, если одна из них движением может быть переведена в другую.

М. И. Войцеховский.