One of the most powerful and general concepts in math is the idea of a partial order. We show that, given that we are working within a universl set, its subsets fall into a partial order under the subset relation $X\subseteq Y$. This means that the subset relation is reflexive, antisymmetric, and transitive.
