a∈Qに対し、S(a)⊂Qを、S(a):={x∈Q;x<a}で定義する。
∩(a∈Q,a>0)S(a)={x∈Q;x≦0}を示してください