a\leq x