x<a∧x∈X