Change bars in set definitions to \mid, integrate first comments of Cezary.