x<aの対義語だろ?
x≧aのことじゃないのか?