A given [[Operation]] $\circ$ of some [[Subset]] $U$ is considered [[Closure|Closed]] if applying the operation to any element(s) in $U$ produces another element in $U$. $ \huge a,b\in U \implies a \circ b \in U $