Fara í innihald

Þakning

Úr Wikipediu, frjálsa alfræðiritinu

Þakning í mengjafræði er haft um mengjasafn, sem uppfyllir það skilyrði að ef ákveðið mengi er hlutmengi í sammengi mengjasafnsins, þá er sagt að mengjasafnið sé þakning þess mengis. Ef mengjasafnið inniheldur aðeins opin mengi er talað um opna þakningu.

Formleg skilgreining: Ef C er safn mengja Uα, þar sem α er stak í vísamenginu A, táknað:

og mengið X er hlutmengi í C:

þá kallast C þakning mengisins X.

Hlutþakning er önnur ,,þrengri" þakning sama mengis X, þannig að sammengi hluttþakningarinnar er eiginlegt hlutmengi í sammengi þakningarinnar C.