 Least-occurrence order on cardinal properties

For cardinal properties $\Phi$ and $\Psi$ that occur, let ${\iota }_{\Phi }$ and ${\iota }_{\Psi }$ be their least witnesses. Define $\Phi {<}_1\Psi$ whenThis relation need not be transitive, because the two implications can be proved under different joint existence assumptions.