in het algemeen: het overeenkomen van twee of meer begrippen. In de elementaire meetkunde noemt men twee figuren congruent (gelijk en gelijkvormig; symbool: ≅), wanneer zij zo geplaatst kunnen worden dat zij elkaar volkomen bedekken.
Men kan een aantal voorwaarden opstellen waaraan twee figuren moeten voldoen om congruent te zijn: bij driehoeken moeten drie onafhankelijke elementen gelijk zijn; bij vlakke n-hoeken 2n − 3. Er geldt:1. A ≅ A;
2. uit A ≅ B volgt B ≅ A;
3. uit A ≅ B en B ≅ C volgt: A ≅ C.