Definition:Set Ordered by Subset Relation/Reverse Inclusion

From ProofWiki
Jump to navigation Jump to search

Definition

Let $S$ be a set.

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


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


Sources