Definition:Closure System

Definition
Let $L$ be an ordered set.

Let $S$ be a system of $L$.

Then $S$ is closure $S$ inherits infima.