Hafaledd

Hafaledd, oddi mewn i fathemateg, yw'r berthynas rhwng dau faint. Yn gyffredinol, dyma'r berthynas rhwng dau fynegiad sy'n hawlio fod gan y meintiau hyn yr un gwerth, neu fod y mynegiannau'n cynrychioli yr un gwrthrych mathemategol.

Caiff yr hafaledd rhwng  a  ei nodi gan , neu mewn iaith bob dydd, "Mae  yn hafal i " e.e. "Mae dwy afal a dwy afal arall yr un peth (yn hafal) a phedair afal". Gelwir y nodiant mathemategol "" yn "hafalnod".

Er enghraifft:
 mae  yn golygu fod  a  yn dynodi yr un gwrthrych..
 golyga  y canlynol: os yw  yn dynodi unrhyw rif, yna mae gan y ddau fynegiad yr un gwerth.
 mae  os a dim ond os yw  Mae'r honiad hwn yn golygu: os yw'r elfennau sy'n bodloni'r priodwedd (neu eiddo)  yr un fath a'r elfennau sy'n bodloni  yna mae'r ddau ddefnydd o'r nodiant yn diffinio'r un set. Mynegir y briodwedd hon, yn aml, fel hyn: "Mae dwy set sydd gyda'r un elfennau yn hafal". Dyma un o wirebau'r ddamcaniaeth setiau ac fe'i gelwir yn "wireb yr estynoldeb" (axiom of extensionality).. . .

Cyfeiriadau

Categori:Rhesymeg mathemategol
Categori:Gweithrediadau deuaidd
Categori:Rhifyddeg sylfaenol