Definition:Closure System

From ProofWiki
Jump to navigation Jump to search

Definition

Let $L$ be an ordered set.

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


Then $S$ is closure if and only if $S$ inherits infima.


Sources