\{x\in A\mid x<a\}