Kongruentlik
Kongruentlik (lot. congraens -oʻlchovdosh, ustma-ust tushuvchi) — geometrik figuralar toʻplamida aksiomalar yoki almashtirishlar gruppasi yordamida kiritiladigan ekvivalentlik munosabati. Yevklid geometriyasida ikki figuradan birini harakat yordamida ikkinchisi bilan ustma-ust tushirish mumkin boʻlsa, ular kongruent figuralar deyiladi.