Is é is spás méadrach [1] ann ná tacar neamhfholamh X ar a bhfuil méadrach . Is sórt fad é an luach idir na pointí agus . Ní bheidh ina mheithreach muna bhfuil na hairíonna seo a leanas ag gach :
- ,
- má ,
- agus
- (an éagothromóid triantánach) .
Thug matamaiticeoir Francach an coincheap seo isteach i 1906. Maurice Fréchet ba ainm dó.
Má , áit gur spás méadrach é agus spás méadrach eile é , is feidhm leanúnach é má shásaíonn sé an coinníoll seo a leanas ag gach :
de réir . Sainítear teorainn i spásanna méadracha mar sin:
- .
Ciallaíonn é sin go ndruideann chun , de réir n → .
Má tá agus , is é is brí leis an dtacar
ná liathróid oscailte le ga agus lár .
Más fothacar é , is tacar oscailte é má shásaíonn sé an coinníoll seo a leanas ag gach :
ag gach tá luach ionas go bhfuil ina fothacar de .[2]