Closure

Written by Nate Soares last updated

A set is closed under an operation if, whenever is fed elements of , it produces another element of . For example, if is a trinary operation (i.e., a function of three arguments) then " is closed under " means "if then ".

For example, the set is closed under addition (because adding two integers yields another integer), but the set is not (because is not in ).

Parents: