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