A set of formulas, ordered by the sub-formula relation, is a poset.