{x | x is a