Definition:Set Ordered by Inclusion

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

• Subset Relation is Ordering
• Subset Relation on Power Set is Partial Ordering