In what way does{x|x has a property P}is written?