Математическая энциклопедия - конгруэнтность

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

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

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985