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