Closure properties and theorems