Closed under the global context