Zdroj TeX:

J_1 \subset J_2 \subset U \Leftrightarrow S(J_1) \leq S(J_2) \leq S(U)