a(x, y) = (x > 1) ∧ (x < 2) ∧ (y > -x^(2)) ∧ (y < x^(2))