closed set

.