closure space

A set equipped with a closure operator that assigns to each subset its smallest closed superset, satisfying properties such as extensivity, monotonicity, and idempotence.