Definition:Set Ordered by Inclusion

From ProofWiki
Jump to navigation Jump to search

Definition

Let $S$ be a set.


Then $S$ ordered by inclusion is the ordered set $\struct {S, \subseteq}$, where $\subseteq$ is the inclusion relation on $S$.


Also see