Lukningen af et forhold med hensyn til en ejendom er et sådant sæt , at:
Med andre ord er det minimum supersæt , der kan understøtte .