A := {x in N: x is even}, B := {x in N: x > 2 /\ x is prime}, C := {x in N: x is odd /\ x is not prime}.
circle(r) := {p in R x R: p02 + p12 = r2}.