closure operation
C51182
concept
A closure operation is a process on a set that assigns to each subset a larger (or equal) subset satisfying extensivity, monotonicity, and idempotence, effectively "closing" the subset under specified rules or properties.
Instances (1)
| Instance | Via concept surface |
|---|---|
| Arf closure | — |