Definition:Set Ordered by Subset Relation

From ProofWiki
Jump to navigation Jump to search

Definition

Let $S$ be a set.


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


Ordering by Reverse Inclusion

Let $S$ be ordered by $\supseteq$, the dual of the subset relation $\subseteq$.


Then $S$ is said to be ordered by reverse inclusion.


Also known as

Some sources use the term ordered by inclusion for ordered by the subset relation.


Also see


Sources