L=\{y\in M_1 \mid y < x_0\}