Halmaz lezártja

A¯=AA

Tehát egy halmaz lezártja a halmaz határpontjaival vett uniója.