Definition:System (Order Theory)

From ProofWiki
Jump to navigation Jump to search

Definition

Let $L = \left({S, \preceq}\right)$ be an ordered set.


The system of $L$ is an ordered subset of $L$.


Sources