Lokun
Úr Wikipediu, frjálsa alfræðiritinu
Lokun í mengjafræði á við sammengi tiltekins mengis og jaðars þess. Lokun mengis A, sem eðlilega er lokað mengi, er gjarnan táknuð með yfirstrikun eða stöfunum cl:
Mengi getur einnig verði lokað m.t.t. reikniaðgerðar, sem þýðir að útkoman sé einnig stak í menginu. Dæmi: Mengi heiltalna er lokað m.t.t. samlagningar, margföldunar og frádráttar, en mengi nátturlegra talna er aðeins lokað m.t.t. samlagningar og margföldunar, en ekki frádáttar.