
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 geometria il punto è un concetto primitivo. Intuitivamente equivale ad un'entità adimensionale spaziale, per cui può essere considerato semplicemente come una posizione, cioè come una coordinata.
In topologia ed analisi matematica, viene spesso chiamato punto un elemento qualunque di uno spazio topologico e, in particolare, di uno spazio funzionale.
Negli "Elementi" di Euclide, al punto è riservata la prima delle definizioni del I libro, dove si indica che punto è ciò che non ha parti. Il punto è l'ente fondamentale della geometria ed è privo di una qualsiasi dimensione. Tale definizione è di tipo "ostensivo" cioè non ha una valenza logica ma che serve ad indicare ciò di cui ci si vuole occupare.
Con l'assiomatizzazione rigorosa della geometria effettuata da David Hilbert nei Grundlagen der Geometrie il punto, assieme alla retta ed al piano, diventa una delle nozioni primitive della geometria e quindi non è definito. Da notare che sarebbe possibile anche fondare la geometria assumendo come primitiva la nozione di regione e definendo i punti tramite opportune classi di "regioni sempre più piccole". Ricerche in tale direzione, che iniziano con alcune analisi di Alfred North Whitehead, vanno sotto il nome di "Geometria senza punti".
Molti preferiscono dare una definizione di questi tre enti fondamentali della geometria e definiscono il punto l'ente che, pur essendo reale, non ha dimensioni.
Un punto nella geometria euclidea non ha grandezze di alcun tipo (volume, area, lunghezza), e nessuna caratteristica in generale tranne la sua posizione. I postulati di Euclide asseriscono in alcuni casi l'esistenza di punti; un esempio: se due linee in un piano non sono parallele, c'è esattamente un punto che appartiene ad entrambe.
Tre o più punti nello spazio si dicono allineati se sono contenuti in una retta. Quattro o più punti nello spazio si dicono complanari se sono contenuti in un piano.
Nella geometria euclidea il punto è in relazione con gli altri enti geometrici fondamentali, quali la retta e il piano. Ad esempio:
Nella geometria cartesiana del piano e dello spazio euclideo un punto è identificato da un insieme ordinato di coordinate. Quindi un punto nello spazio tridimensionale è rappresentato da una terna ordinata di numeri, ad esempio: formula_1
In generale, un punto in uno spazio euclideo di dimensione formula_2 è una successione di formula_2 numeri. In questo contesto i punti possono essere identificati con i vettori (applicati nell'origine).
Le proprietà elencate sopra possono essere estese ad uno spazio euclideo di dimensione arbitraria nel modo seguente:
Oppure possono essere estese a oggetti "curvi", quali curve e superfici, ad esempio nel modo seguente:
