A set that is closed under an operation or collection of operations is said to satisfy a closure property.
En mængde, som er lukket under en operation eller samling af operationer, siges at tilfredsstille en lukningsegenskab.