Category:Intersection of Complete Meet Subsemilattices invokes Closure Operator