Исправление Kuzy, 27.08.14 14:53 (текущая версия) :
Такая запись корректна { x | |x| = 0 }? Или нужно явно указывать откуда x, и только потом предикаты?
{ x | |x| = 0 }
x
Исходная версия Kuzy, 27.08.14 14:52:
Такая запись корректна { x | |x| = 0 }?