Изменения

Здесь есть проблема - во-первых, мы даже не знаем тип x, y, Id и Name, это значит, что мы не знаем области их значения.Во-вторых, даже если бы мы знали их тип, пусть это будут, например, целые числа, то получили бы бесконечное отношение, с такими мы работать не умеем.

Запретим так делатьПоэтому, а именно нужно запретить такую ситуацию, для этого добавим ограничениетребование:  {{x|definition = ''Каждая переменная должна входить в неотрицательный реляционный атом.''}}