
In geometria, due figure si dicono congruenti (dal latino "congruens": concordante, appropriato), quando hanno la stessa forma e dimensioni, quindi quando sono perfettamente sovrapponibili. Formalmente, sono congruenti quando è possibile trasformare l'una nell'altra per mezzo di una isometria, ovvero per mezzo di una combinazione di traslazioni, rotazioni e riflessioni.
La congruenza di due figure piane si può interpretare visivamente in questo modo: tagliando una figura con le forbici è possibile sovrapporla all'altra in modo che entrambe combacino perfettamente.
Nel suo Grundlagen der Geometrie, Hilbert descrive la congruenza come una delle tre relazioni binarie primitive della geometria euclidea e ne delinea le proprietà transitiva, riflessiva e simmetrica. Pertanto, la congruenza è una relazione d'equivalenza.
Le prime due figure sono congruenti. La terza ha sì la stessa forma, ma è più piccola: essa è perciò simile alle prime due, ma non congruente. L'ultima figura non è né congruente, né simile alle altre tre.
Il simbolo più comunemente usato per la congruenza è il simbolo uguale con una tilde sopra, ≅, che corrisponde al carattere Unicode 'circa uguale' (U+2245). Nel Regno Unito viene a volte usato il simbolo uguale a tre lineette, "≡", (U+2261).


In matematica il termine spazio è ampiamente utilizzato e si collega ad un concetto estremamente importante e generale. Il termine spazio compare nei nomi di svariate strutture algebriche e/o topologiche (in genere continue e di interesse per la geometria, ma anche discrete) le quali hanno in comune il fatto di costituire l'ambiente entro il quale si costruiscono o si definiscono strutture più specifiche (figure, forme, politopi, superfici, ecc.). 
In matematica dunque si incontrano strutture e specie di "strutture spaziali" che presentano un insieme sostegno ai cui elementi si danno spesso nomi come punti o vettori. Su tali elementi si individuano sottoinsiemi, funzioni, operazioni e relazioni che devono soddisfare determinate richieste. 
Il primo spazio, dal punto di vista storico e dell'uso, è lo spazio euclideo tridimensionale, la struttura che fornisce il modello per l'ambiente nel quale si colloca la nostra vita quotidiana e che è servito allo sviluppo della meccanica classica (newtoniana). Nella teoria della relatività ristretta di Einstein esso viene sostituito dalla struttura ottenuta con l'aggiunta del "tempo", lo spazio a 4 dimensioni detto spazio di Minkowski. Una specie di strutture tra le più generali è quella di spazio topologico; in particolari spazi topologici si studiano le geometrie non euclidee e la relatività generale. Altri spazi sono utilizzati dall'analisi funzionale e dalla teoria della probabilità.
Molti degli spazi che sono stati via via introdotti sono stati indicati con il nome del loro scopritore; tale consuetudine, però, ha ostacolato l'uso di nomi più adatti a manifestare le caratteristiche delle strutture.
