Egy tulajdonsággal kapcsolatos kapcsolat lezárása egy olyan halmaz , amely:
Más szóval, ez a minimális szuperkészlet , amely támogatja a .