Zdroj TeX:

U \subset O_2 \subset O_1 \Leftrightarrow S(U) \leq S(O_2) \leq S(O_1)