>>671
その式を満たすような集合、だよ。
その直線で区切られる領域のどちらかなのは一般に明らか。
「上」なのか「下」なのかはまじめ調べる。